Start on next

2025-11-25 17:29:31 +01:00
parent 153c179388
commit e749b82a87
12 changed files with 61 additions and 0 deletions
--- a/3or4/.gitignore
+++ b/3or4/.gitignore
@ -0,0 +1,20 @@
+.DS_Store
+.idea
+*.log
+tmp/
+
+AbsChi.hs
+DocChi.txt
+ErrM.hs
+LexChi.x
+ParChi.y
+PrintChi.hs
+SkelChi.hs
+TestChi.hs
+
+.direnv/
+dist-newstyle/
+
+*.bbl
+*.pdf
+*.tex