Skip to content

Idris support for Typedefs

Latest
Latest
Compare
Choose a tag to compare
@andrevidela andrevidela released this 23 Jun 17:47
· 1 commit to master since this release
0.2.0
3ff3894

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.
Assets 2