Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
A statically typed functional programming language.
Lean 45
tiny c compiler written in c
C 7
Haskell 1 1
There was an error while loading. Please reload this page.