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

Age	Commit message (Expand)	Author
2023-01-12	Provide examples of Obs code.HEAD master	Greg Brown
2023-01-12	Fix bug in equality for pi types.	Greg Brown
2023-01-12	Slightly prettify pretty printing.	Greg Brown
2023-01-12	refactor: fix token groups in parser.	Greg Brown
2023-01-08	refactor: fix grouping.	Greg Brown
2023-01-08	refactor: improve alignment in pretty printing.	Greg Brown
2023-01-08	Add box types.	Greg Brown
2023-01-07	Correct typing of container extensions.	Greg Brown
2023-01-07	Add postulates.	Greg Brown
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-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
2022-12-08	Initial commit.	Greg Brown