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

README.md

BachelorPlayground