Typedefs Versions Save

Programming language agnostic type construction language based on polynomials.

0.2.0

3 years ago

This release includes support for specialised types in Idris. Including Types constructors like List : * -> *.

  • Expose Idris API through the Typedefs.Idris and Typedefs.Library imports.
  • Streamline API for serialisers and deserialisers in Idris.
  • Add support for JSON as a serialisation format for Idris.
  • Add basic support for reference by using FRef for free variables references or RRef for references to a variable in context.
  • Rename the command-line to typedefs in the help menu.

v0.1

4 years ago

This version features:

  • +, *, 0, 1, mu constructors
  • term serialization for haskell
  • type generation for haskell, reasonml and json schema