yellowsquid/idris-obs.git - [no description]

Age	Commit message (Expand)	Author
2023-01-03	Add more program structure to abstract terms.	Greg Brown
2023-01-02	Add more program structure to raw syntax.	Greg Brown
2023-01-02	Add more program structure to type universes.	Greg Brown
2023-01-01	Index normal forms with relevance.	Greg Brown
2022-12-26	Expand definition of Sort.	Greg Brown
2022-12-22	Add Container types.	Greg Brown
2022-12-21	Add sum types.	Greg Brown
2022-12-21	Improve parsing.	Greg Brown
2022-12-20	Add equality types and casts.	Greg Brown
2022-12-18	fix: correct Sort equality test.	Greg Brown
2022-12-18	Add dependent sums.	Greg Brown
2022-12-18	Introduce better logging.	Greg Brown
2022-12-18	Add dependent products.	Greg Brown
2022-12-18	Change output to an acknowledgement of success.	Greg Brown
2022-12-18	Change output to formatted terms.	Greg Brown
2022-12-18	syntax: rename "_" -> "*".	Greg Brown
2022-12-18	Make the parser commit to the choices it makes.	Greg Brown
2022-12-18	Add False type.	Greg Brown
2022-12-18	Remove fullBounds from Syntax.	Greg Brown
2022-12-18	Add the True type.	Greg Brown
2022-12-17	Add totality annotations.	Greg Brown
2022-12-17	Add type checking and inference.	Greg Brown
2022-12-17	Make fullBounds public.	Greg Brown
2022-12-17	Define normal form.	Greg Brown
2022-12-17	Define substitution interfaces.	Greg Brown
2022-12-17	Define conversion from raw to abstract syntax.	Greg Brown
2022-12-17	Define abstract syntax.	Greg Brown
2022-12-17	Create executable.	Greg Brown
2022-12-17	Add parser for raw syntax.	Greg Brown
2022-12-17	Define raw syntax.	Greg Brown
2022-12-17	Add pretty printing.	Greg Brown
2022-12-17	Define sorts.	Greg Brown