agda2hs icon indicating copy to clipboard operation
agda2hs copied to clipboard

Published 20 hours ago • verified publisher icon agda

Automatic translation of Haskell to Agda

Open jespercockx opened this issue 1 year ago • 0 comments

jespercockx avatar May 11 '23 08:05 jespercockx