lambda-8cc
lambda-8cc copied to clipboard
woodrush
x86 C compiler written in untyped lambda calculus
Results
1
lambda-8cc issues
Sort by
recently updated
recently updated
newest added
The encoding of lists in BLC is not a Scott encoding. Assuming that our list data type is data List a = Cons a (List a) | Nil then a...
