Merge pull request #59 from anton-k/rm-redundant

remove implemented idea
anton-k · Nov 4, 2023 · ca5e578 · ca5e578
2 parents ce851b1 + d0d9034
commit ca5e578
Showing 1 changed file with 0 additions and 90 deletions.
diff --git a/try-out-ideas/NormalForm.hs b/try-out-ideas/NormalForm.hs