Complete sortedness, and hence all of FMapInterface! No more Admitted..
Complete sortedness, and hence all of FMapInterface! No more Admitted..

some stats: 7000 lines of code, written in 1½ months (which included
Christmas). According to arbtt, I spent 85 hours with coqIde (although
it felt like it was more…)

antalsz/hs-to-coq,antalsz/hs-to-coq