Materials of the draft paper "Type-level Computation One Step at a Time"
Primary LanguageHaskellGNU General Public License v3.0GPL-3.0