agda2hs icon indicating copy to clipboard operation
agda2hs copied to clipboard

Published 20 hours ago • verified publisher icon agda

Adding Haskell cognates of builtin Agda Char functions in Data.Char

Open viktorcsimma opened this issue 11 months ago • 0 comments

This also depends on #297.

viktorcsimma avatar Mar 02 '24 10:03 viktorcsimma