Type inference for 'type level computation one step at a time'
Primary LanguageHaskellGNU General Public License v3.0GPL-3.0
Type Inference for paper 'type-level computation one step at a time'