| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-11-06 | Minor general additions | Marvin Borner | |
| 2023-10-14 | Generic Church and hyperfac | Marvin Borner | |
| 2023-04-08 | Various improvements to standard library docs | Marvin Borner | |
| 2023-02-26 | More std functions | Marvin Borner | |
| 2023-02-26 | Added more unary functions | Marvin Borner | |
| 2023-02-24 | Moved number implementations | Marvin Borner | |