Skip to content

Commit 8497604

Browse files
yurrriqyurrriq
authored
Merge pull request #26 from clayrat/indprop
IndProp
2 parents fed3357 + 26e9372 commit 8497604

File tree

5 files changed

+1572
-1
lines changed

5 files changed

+1572
-1
lines changed

‎software_foundations.ipkg

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@ modules = Basics
66
, Poly
77
, Tactics
88
, Logic
9+
, IndProp
910

1011
brief = "Software Foundations in Idris"
1112
version = 0.0.1.0

0 commit comments

Comments
 (0)