git.iko.soy/Idris-dev
on v0.9.11 help sign in
Idris-dev/.gitignore
30 lines 353 B history raw
1dist
2cabal-dev/
3.cabal-sandbox
4cabal.sandbox.config
5*.ibc
6*.o
7*.a
8*.so
9*.dll
10*.dylib
11*.swp
12*~
13.DS_Store
14.hpc
15*.tix
16custom.mk
17test/output
18test/*[0-9][0-9][0-9]/output
19test/*[0-9][0-9][0-9]/*.exe
20tutorial/*.aux
21tutorial/*.bbl
22tutorial/*.blg
23tutorial/*.log
24tutorial/*.out
25tutorial/*.toc
26tutorial/*.fdb_latexmk
27tutorial/*.fls
28tags
29TAGS
30src/Version_idris.hs