Age | Commit message (Expand) | Author |
---|---|---|
2024-03-10 | Samples and std additions | Marvin Borner |
2024-02-29 | Encourage use of combinators | Marvin Borner |
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 |