yellowsquid/inky.git - [no description]

Age	Commit message (Expand)	Author
2024-11-15	Add compilation to scheme.	Greg Brown
2024-11-12	Fix bad annotation when desugaring map.	Greg Brown
2024-11-12	Add more names. Names are good.	Greg Brown
2024-11-12	Add ability to desugar terms.	Greg Brown
2024-10-30	Define well-formedness for types.	Greg Brown
2024-10-29	Write a fuelled reducer for System T.	Greg Brown
2024-10-29	Print type checking errors.	Greg Brown
2024-10-28	Improve pretty printer.	Greg Brown
2024-10-28	Make everything relevant.	Greg Brown
2024-10-09	Write a System T to Primrose program.	Greg Brown
2024-10-09	Do a lot.	Greg Brown
2024-09-30	Make tags for tuples and cases unique.	Greg Brown
2024-09-20	Get working type pretty printer.	Greg Brown
2024-09-17	Introduce names in contexts.	Greg Brown
2024-09-13	Define parser infrastructure.	Greg Brown
2024-09-13	Define pretty printers for terms and types.	Greg Brown
2024-09-12	Make naturals a fixpoint type.	Greg Brown
2024-09-11	Define terms.	Greg Brown
2024-09-10	Make arrows binary, not n-ary.	Greg Brown
2024-09-09	Restart.	Greg Brown
2024-09-02	Make sum types n-ary.	Greg Brown
2024-09-02	Add sum and product types.	Greg Brown
2024-09-02	Remove unnecessary `where`.	Greg Brown
2024-09-02	Define a type of well-kinded types.	Greg Brown
2024-08-14	Add more DeBruijn utilities.	Greg Brown
2024-08-14	Define kinds and monotypes.	Greg Brown
2024-08-14	Define environments over worlds.	Greg Brown
2024-08-06	Define traversal kits.	Greg Brown
2024-08-05	Define nominal, painless binding.	Greg Brown
2024-08-03	Initial commit.	Greg Brown