Age | Commit message (Expand) | Author |
---|---|---|
2024-01-31 | made a proper version of CExp substitution | Erik Oosting |
2024-01-16 | finished variable substitution | Erik Oosting |
2024-01-16 | added back 3 hours of work | Erik Oosting |
2024-01-13 | example function | Erik Oosting |
2023-12-18 | tightened types exports | Erik Oosting |
2023-12-18 | add free variable searching | Erik Oosting |
2023-12-18 | add haskell version | Erik Oosting |