agda2hs icon indicating copy to clipboard operation
agda2hs copied to clipboard
verified publisher icon agda

bytestrings

Open jmchapman opened this issue 2 years ago • 0 comments

add support for bytestrings

jmchapman avatar Dec 07 '23 12:12 jmchapman