/mixfix

A Haskell port (and simplification) of [Danielsson and Norell, 2008]'s paper titled Parsing Mixfix Operators originally in Agda

Primary LanguageHaskellOtherNOASSERTION

Stargazers