Giters

taktoa / eqsat

A language-generic implementation of equality saturation in Haskell

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Compile with `-XMonadFailDesugaring`

taktoa opened this issue · comments

commented

The MonadFailDesugaring extension allows us to catch any problems induced by the upcoming MonadFailProposal.