sequences
sequences copied to clipboard
add Normalization & org
Implements #27 through criterion. Since benchmarks already do whnf/nf - the benchmark simply runs nf.
What is needed to merge this/continue the process?
Of course, on request, can drop any of the commits or change anything.