Closed records

typify.record(name, def, closed)

v0.2.8

• Change date and regexp checks to work in multiframe environments #34
• Fix typo in README.md #35
• Update dependencies

Use make

v0.2.7

Update changelog

Dependencies update

v0.2.6

Bump version to 0.2.6

typify.assert

• typify.assert
• Added note about opaque type checks (typify.type)

Typified the source

• arguments built-in type
• any built-in type. Like * but not optional
• typified most of the functions

Even more helpers

• fn shorthand for the function type
• typify.wrap to typify modules
• istanbul code covarage as part of the test suite
• typify.adt helper for specifying abstract data types -like structures
• infinity, ninfinity and nan literals
• unified implementation of typify.type, typify.alias and typify.record.
  • The latter two will be deprecated in 0.3.0 and removed in 0.4.0

New type's types

• mutually recursive types
• instanceof types

Major code changes

• anonymous record types
  tuple, literals, numeric types
• mocha test-suite
• major code refactor

Recursive and intersection types

• Recursive record types
• Recursive aliases
• Intersection types
• Hygiene type environments