meta-cedille
meta-cedille copied to clipboard
WhatisRT
Minimalistic dependent type theory with syntactic metaprogramming
TODO: this leads to infinite looping somewhere. This fix is a bit hacky anyway, so maybe there's a better way.
There is a bug in parsing somewhere: whenever a non-terminal is currently parsed but no rule applies, for some reason there is no error thrown during parsing. Test it for...
Add checks to the `seteval` statement to ensure that the loaded grammar is indeed of `LL1` type.