GitHub repository: stefan-hoeck/idris2-rhone-js
Primary language: Idris
Created: 2021-09-30T14:28:17Z
Description: Experimental JS bindings for idris2-rhone