We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent faeb249 commit ec7100fCopy full SHA for ec7100f
1 file changed
README.md
@@ -1,6 +1,6 @@
1
# $\lambda$-Compiler
2
3
-A Primitive Compiler from $\lambda$-calculus + $\alpha$ (e.g. primitive operations, recursion, and effects)
+A Primitive Compiler from $\lambda$-calculus + $\alpha$ (e.g. primitive operations, recursion, and effects) based on Call-By-Push-Value (CBPV)
4
5
## Usage
6
0 commit comments