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

[ refactor ] Use refined library for refined primitives #33

Closed stefan-hoeck closed 1 year ago

stefan-hoeck commented 1 year ago

This has been implemented.