agda2hs icon indicating copy to clipboard operation
agda2hs copied to clipboard

Published 20 hours ago • verified publisher icon agda

Generate documentation about pre- and post-conditions from Agda types of functions

Open jespercockx opened this issue 2 years ago • 0 comments

jespercockx avatar Jun 29 '23 07:06 jespercockx