Skip to content

Commit fed3357

Browse files
yurrriqyurrriq
authored
Merge pull request #18 from clayrat/logic
Logic
2 parents 5651b11 + fd64ba8 commit fed3357

File tree

3 files changed

+1318
-1
lines changed

3 files changed

+1318
-1
lines changed

‎software_foundations.ipkg

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ modules = Basics
55
, Lists
66
, Poly
77
, Tactics
8+
, Logic
89

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

0 commit comments

Comments
 (0)