Programming language agnostic type construction language based on polynomials.
This release includes support for specialised types in Idris. Including Types constructors like List : * -> *
.
Typedefs.Idris
and Typedefs.Library
imports.serialisers
and deserialisers
in Idris.FRef
for free variables references or RRef
for references to a variable in context.typedefs
in the help menu.This version features: