Giters

jheiling / idris-js

Js library for Idris

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

jsidrisffi

About

Js library for Idris

jsidrisffi

License:The Unlicense

Languages

Language:Idris 97.3%Language:Shell 2.7%