@@ -1,41 +1,53 @@
15−*.swp
9+src/Version_idris.hs
17−.DS_Store
11+# Doc generation artefacts
27libs/base/base_doc/
12libs/base/base_doc/
28libs/effects/effects_doc/
13libs/effects/effects_doc/
29libs/prelude/prelude_doc/
14libs/prelude/prelude_doc/
30libs/contrib/contrib_doc/
15libs/contrib/contrib_doc/
31libs/pruviloj/pruviloj_doc/
16libs/pruviloj/pruviloj_doc/
32libs/oldeffects/oldeffects_doc/
17libs/oldeffects/oldeffects_doc/
33test/output
20test/output
34test/*[0-9][0-9][0-9]/output
21test/*[0-9][0-9][0-9]/output
35test/*[0-9][0-9][0-9]/*.exe
22test/*[0-9][0-9][0-9]/*.exe
36test/runtest.exe
23test/runtest.exe
37test/runtest
24test/runtest
40−src/Version_idris.hs
40+
41−.stack-work
41+# IDE and editors