Add Syntax namespace to cabal file
commit228c4dfba724b8b5773784e204d3fbeece381b90
authorDavid Christiansen <david@davidchristiansen.dk>
dateSun 15 Dec 2013, 15:58 (13 years ago)
parent49bc500
idris.cabal+1
@@ -87,6 +87,7 @@ Extra-source-files:
8787 libs/base/Makefile
8888 libs/base/Network/*.idr
8989 libs/base/System/Concurrency/*.idr
90+ libs/base/Syntax/*.ids
9091
9192
9293 libs/effects/Makefile