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 ??? 7 months ago
benchmark ??? 7 months ago
.gitignore Initial commit 9 months ago
README.md Initial commit 9 months ago
old1.hs cleanup 9 months ago
old2.hs cleanup 9 months ago
old3.hs cleanup 9 months ago
old4.hs added manual simplification for alternative not definition 9 months ago
old5.hs erm, yes 8 months ago
old6.hs ? 8 months ago
out.txt erm, yes 8 months ago
out2.txt erm, yes 8 months ago
playground.hs erm, yes 8 months ago

README.md

BachelorPlayground