agda2hs icon indicating copy to clipboard operation
agda2hs copied to clipboard

Published 20 hours ago • verified publisher icon agda

Check that the name of user functions do not clash with the Haskell prelude

Open jespercockx opened this issue 2 years ago • 0 comments

jespercockx avatar Nov 14 '22 11:11 jespercockx