Giters

agda / agda2hs

Compiling Agda code to readable Haskell

Home Page:https://agda.github.io/agda2hs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Allow inline functions that match on newtype records

flupe opened this issue · comments

commented
Allow inline functions that match on newtype records