search

stefan-hoeck / idris2-rhone-js

Experimental JS bindings for idris2-rhone
BSD 3-Clause "New" or "Revised" License
21 stars 4 forks source link

[ new ] constructor for text for data type shape #32

Closed claudio-etterli closed 1 year ago

claudio-etterli commented 1 year ago

Ready to review

stefan-hoeck commented 1 year ago

Thanks.