agda2hs icon indicating copy to clipboard operation
agda2hs copied to clipboard

Published 20 hours ago • verified publisher icon agda

Support for strict Haskell

Open jespercockx opened this issue 2 years ago • 0 comments

jespercockx avatar Feb 17 '23 13:02 jespercockx