typedefs/typedefs Issues
Is the project still alive?
Closed 1Visualise typedefs
UpdatedAdd a "syntax AST" for typedefs
Updated 9PureScript backend
Updated 1`elba repl` fails
Updated 3Fix termdefs for specialised types
Updated 7Can we remove RRef?
UpdatedUpdate Nix version of TParsec
Closed 5re-add specialisation tests
UpdatedAdd syntax and parser for TApp
Closed 1implement `weakenMu`
Closed 4`elba test` fails
Closed