@ -26,8 +26,6 @@ A dependently typed system
* Parsing !!! (this is like 90% of the time currently lmao)
* Memoize normalisation and conversion somehow?
* Repl
* Universes
* Implicit arguments
The note is not visible to the blocked user.