| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-04-25 | added example function HEAD master | Erik Oosting | |
| 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 | |
| hopefully this is all correct, I lost it when I forgot to soave | |||
| 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 | |
 |
index : ~crazazy/fp-il | |
| summary refs log tree commit diff |