typedefs/pm Issues
Binary serialisation
Updated 1Generate JS validation code
UpdatedConvert to Literate Program
Updated 1Understand F-Algebra's
UpdatedUpgrade parser
UpdatedIdris type provider
UpdatedUpgrade upgraded parser
Updated
project management