Age | Commit message (Expand) | 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 |