Skip to content

Commit 5043995

Browse files
author
Alex Gryzlov
committed
rewrap text, WIP concurrent Imp
1 parent 764f83b commit 5043995

File tree

2 files changed

+519
-648
lines changed

2 files changed

+519
-648
lines changed

‎software_foundations.ipkg‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,7 @@ modules = Basics
1212
, Rel
1313
, Imp
1414
, ImpParser
15+
, Smallstep
1516

1617
brief = "Software Foundations in Idris"
1718
version = 0.0.1.0

0 commit comments

Comments
 (0)