Age | Commit message (Expand) | Author |
---|---|---|
2025-03-13 | Rewrite for flap v2.0.0.HEADmaster | Greg Brown |
2025-03-13 | Modify definition of data types. | Greg Brown |
2025-01-07 | Add quotation to help metaprogramming. | Greg Brown |
2024-11-20 | Improve syntactic sugar. | Greg Brown |
2024-11-18 | Preserve some comments when pretty printing. | Greg Brown |
2024-11-15 | Add compilation to scheme. | Greg Brown |
2024-11-12 | Add ability to desugar terms. | Greg Brown |
2024-10-29 | Print type checking errors. | Greg Brown |
2024-10-28 | Make everything relevant. | Greg Brown |
2024-10-09 | Do a lot. | Greg Brown |
2024-09-20 | Get working type pretty printer. | Greg Brown |