2 releases
| 0.1.1 | Aug 29, 2024 |
|---|---|
| 0.1.0 | Aug 29, 2024 |
#442 in Math
30KB
846 lines
An implementation of the untyped lambda caluculus, with some sugar for convenience
Dependencies
~1.2–1.8MB
~34K SLoC
| 0.1.1 | Aug 29, 2024 |
|---|---|
| 0.1.0 | Aug 29, 2024 |
#442 in Math
30KB
846 lines
An implementation of the untyped lambda caluculus, with some sugar for convenience
~1.2–1.8MB
~34K SLoC