GitHub - GuglielmoS/sfidris: Examples and exercises of Software Foundations in Idris

Name		Name	Last commit message	Last commit date
Latest commit History 34 Commits
.gitignore		.gitignore
Basics.idr		Basics.idr
Equiv.idr		Equiv.idr
Imp.idr		Imp.idr
Induction.idr		Induction.idr
Logic.idr		Logic.idr
NatList.idr		NatList.idr
Poly.idr		Poly.idr
Prop.idr		Prop.idr
README		README