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

Age	Commit message (Expand)	Author
2023-01-07	Add containers types.	Greg Brown
2023-01-05	refactor: reorder token kind constructors.	Greg Brown
2023-01-05	Add more program structure to normal forms.	Greg Brown
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-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	Add dependent sums.	Greg Brown
2022-12-18	Introduce better logging.	Greg Brown
2022-12-18	Add dependent products.	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	Add the True type.	Greg Brown
2022-12-17	Add totality annotations.	Greg Brown
2022-12-17	Add parser for raw syntax.	Greg Brown