agda2hs icon indicating copy to clipboard operation
agda2hs copied to clipboard

Published 20 hours ago • verified publisher icon agda

Add an Any type

Open jakobn-ai opened this issue 10 months ago • 0 comments

to complement All

jakobn-ai avatar Apr 20 '24 09:04 jakobn-ai