1
0
Fork 0
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
Pixdigit 90c21b83a5
???
11 months ago
benchmark ??? 11 months ago
.gitignore Initial commit 1 year ago
README.md Initial commit 1 year ago
old1.hs cleanup 1 year ago
old2.hs cleanup 1 year ago
old3.hs cleanup 1 year ago
old4.hs added manual simplification for alternative not definition 1 year ago
old5.hs erm, yes 12 months ago
old6.hs ? 11 months ago
out.txt erm, yes 12 months ago
out2.txt erm, yes 12 months ago
playground.hs erm, yes 12 months ago

README.md

BachelorPlayground