a typed version of lambda-calculus with factorisation that supports self-interpretation - View it on GitHub
Star
0
Rank
13815108