 ulfn
|
f8882f849a
[ issue993 ] replaced some /s and .s by </> and <.> for improved portability
|
11 years ago |
|
ulfn
|
84978ebcd0
[ issue993 ] fixed: added a cabal post-install hook to generate agdai for Agda.Primitive
|
11 years ago |
 Nils Anders Danielsson
|
dc65ecb11a
Merged the agda-pkg package with the Agda package.
|
14 years ago |
|
Nils Anders Danielsson
|
2e9a2dea74
Switched from defaultMainWithHooks to defaultMain.
|
16 years ago |
 ulfn
|
e727d46219
cabal things
|
18 years ago |
|
ulfn
|
6c1da22ded
starting to Cabalise Agda
|
18 years ago |
