Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
11 check-ins
|
2025-08-19
| ||
| 02:30 | refactored how lam is constructed, and other things I don't remember Leaf check-in: 8a32b63326 user: monax tags: nbe | |
|
2025-08-15
| ||
| 12:38 | added type signatures and some other minor things check-in: 2457644a9a user: monax tags: nbe | |
| 12:35 | Remove the Variable type family since simple lambda calculus will always use Text check-in: 0edfb01d34 user: monax tags: nbe | |
|
2025-08-14
| ||
| 00:01 | added a parser and some other stuff to the simple module which I don't totally remember check-in: 8065992195 user: monax tags: nbe | |
|
2025-08-13
| ||
| 20:04 | add some prettyprinting stuff check-in: b7b93e511b user: monax tags: nbe | |
| 18:47 | parameterized variable types in Simple check-in: 78f9bceffa user: monax tags: nbe | |
| 18:43 | add base module check-in: 059578d324 user: monax tags: nbe | |
| 17:39 | Adapt a new variable renaming scheme based on debruijn levels and using Rho as a reader check-in: 54e72a4587 user: monax tags: nbe | |
| 14:53 | start implementation of normalization by evaluation of an untyped lambda calculus. check-in: cb518a7a30 user: monax tags: nbe | |
|
2025-08-11
| ||
| 23:20 | New cabal project Leaf check-in: fe8183715d user: monax tags: trunk | |
| 23:11 | initial empty check-in check-in: f811d23bb0 user: monax tags: trunk | |