lambda-zero
lambda-zero copied to clipboard
clark800
minimalist pure lazy functional programming language (pythonic haskell)
What are the semantics of ↑ and define? The tutorial doesn't explain these, but they are used in the prelude. The tutorial also doesn't talk about ⦊, ∈, or {},...
Write an algorithm to statically check that a function is total (guaranteed to return a result).
The goal is to write a lambda zero compiler in lambda zero. Since the core language is the lambda calculus, this is very similar to the core of a Haskell...