trepplein
trepplein copied to clipboard
gebner
Lean type-checker written in Scala.
Consider the following input (found by running [AFL](https://github.com/google/AFL) on a minimal testing harness): ``` 9 #NS 0 u 2 #NS 0 eq 3 #NS 0 alpha 1 #UP 1 0...
I'm a complete scala novice so take this with a pinch of salt, but I wanted to post this incase it helps anyone else who couldn't build trepplein. Running `sbt...
When running on the exported file for `group.lean` in sbt, I get a stack overflow, which (as running in console shows) is in defining the preEnv. A hack that worked...
