summaryrefslogtreecommitdiff
path: root/src/Obs
AgeCommit message (Expand)Author
2022-12-20Add equality types and casts.Greg Brown
2022-12-18fix: correct Sort equality test.Greg Brown
2022-12-18Add dependent sums.Greg Brown
2022-12-18Introduce better logging.Greg Brown
2022-12-18Add dependent products.Greg Brown
2022-12-18Change output to an acknowledgement of success.Greg Brown
2022-12-18Change output to formatted terms.Greg Brown
2022-12-18syntax: rename "_" -> "*".Greg Brown
2022-12-18Make the parser commit to the choices it makes.Greg Brown
2022-12-18Add False type.Greg Brown
2022-12-18Remove fullBounds from Syntax.Greg Brown
2022-12-18Add the True type.Greg Brown
2022-12-17Add totality annotations.Greg Brown
2022-12-17Add type checking and inference.Greg Brown
2022-12-17Make fullBounds public.Greg Brown
2022-12-17Define normal form.Greg Brown
2022-12-17Define substitution interfaces.Greg Brown
2022-12-17Define conversion from raw to abstract syntax.Greg Brown
2022-12-17Define abstract syntax.Greg Brown
2022-12-17Create executable.Greg Brown
2022-12-17Add parser for raw syntax.Greg Brown
2022-12-17Define raw syntax.Greg Brown
2022-12-17Add pretty printing.Greg Brown
2022-12-17Define sorts.Greg Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-04-30 13:12:00 +0000