fabianhjr/idr-logical-foundations

Logical Foundations in Idris

IdrisNOASSERTION