Giters

stefan-hoeck / idris2-todomvc

Experimental TodoMVC implementation in Idris2 using rhone-js

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

Experimental TodoMVC implementation in Idris2 using rhone-js

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Idris 64.9%Language:HTML 26.8%Language:Makefile 8.3%