3 Commits

Author	SHA1	Message	Date
Mysaa	28b7faac05	Added a generalized version of the Normalization proof	2023-05-31 13:59:33 +02:00
Mysaa	422dcf67f0	Started merging zero and next into a one and only proof constructor, so normal forms are now unique. ... Added a lot of relations on lists in order to study different kinds of morphisms	2023-05-30 14:02:01 +02:00
Mysaa	8d1df370ca	Tidied files up, changed messy prop.agda into a beautiful Readme.agda	2023-05-25 20:33:23 +02:00