even more strip down version of nax, that is mininax without term indices
Primary LanguageHaskellOtherNOASSERTION