23 Commits (main)
 

Author SHA1 Message Date
fool 9d76976d1c meta: add license 6 months ago
scottolsen 3726e0f7e0 check in a bunch of files 6 months ago
scottolsen 86eece900f Make it possible to define things 6 months ago
scottolsen a30a419893 Environment: add execution context/scopes; update environment 6 months ago
scottolsen 7dcbd5804c Environment: Define an environment interface 6 months ago
scottolsen 5fdb7baec5 Lambda: Add support for recursive let bindings 2 years ago
scottolsen 91a7293758 Lambda/Evaluator: Move let transformation into Lambda 2 years ago
scottolsen 2bba15745a Evaluator: remove unused morphisms 2 years ago
scottolsen 21677c4c6d Primitives: Reimplement eta as a primitive 2 years ago
scottolsen 8e230fb3cf Primitives: Make Y a primitive 2 years ago
scottolsen b418661541 Primitives: Fix partial application; implement alpha as primitive 2 years ago
scottolsen 68f75fb0a3 Primitives: Refactor primitive functions 2 years ago
scottolsen ef89532b6c Evaluator: Add evalPrim and make general improvements 2 years ago
scottolsen bd48379573 Evaluator: Fix let binding counting 2 years ago
scottolsen f5997a60c7 Primitives: add equality 2 years ago
scottolsen 0ebc21b772 Add showDebug to improve debugging 2 years ago
scottolsen aa787fdca1 Add the Y combinator. 2 years ago
scottolsen 3e66f1d333 Add alpha conversion 2 years ago
scottolsen 9657484a45 Add support for let expressions 2 years ago
scottolsen 38eb2ef9fb Evaluator: refactor into mutual functions 2 years ago
scottolsen 9e64dff05c Add boolean atoms and primitive if 2 years ago
scottolsen aaaab83bdd Add a function to check if expressions are well-formed 2 years ago
scottolsen 12109c8ea9 First commit 2 years ago