git.iko.soy/Idris-dev
on master help sign in
Add Syntax namespace to cabal file
228c4dfDavid Christiansen
idris.cabal+1
compare with master
unifiedsplit
@@ -87,6 +87,7 @@ Extra-source-files:
87 libs/base/Makefile
87 libs/base/Makefile
88 libs/base/Network/*.idr
88 libs/base/Network/*.idr
89 libs/base/System/Concurrency/*.idr
89 libs/base/System/Concurrency/*.idr
90+ libs/base/Syntax/*.ids
90
91
91
92
92 libs/effects/Makefile
93 libs/effects/Makefile