sequences icon indicating copy to clipboard operation
sequences copied to clipboard

add Normalization & org

Open Anton-Latukha opened this issue 4 years ago • 1 comments

Implements #27 through criterion. Since benchmarks already do whnf/nf - the benchmark simply runs nf.

Anton-Latukha avatar Nov 28 '21 20:11 Anton-Latukha

What is needed to merge this/continue the process?

Of course, on request, can drop any of the commits or change anything.

Anton-Latukha avatar Dec 12 '21 19:12 Anton-Latukha