agda2hs icon indicating copy to clipboard operation
agda2hs copied to clipboard

Published 20 hours ago • verified publisher icon agda

Check that the user code doesn't use any renaming clauses

Open jespercockx opened this issue 2 years ago • 0 comments

These are not supported in Haskell, so they should not be allowed.

jespercockx avatar Nov 14 '22 11:11 jespercockx