Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
src		src
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
index.html		index.html
package-lock.json		package-lock.json
package.json		package.json
todomvc.ipkg		todomvc.ipkg

Repository files navigation

Idris2 • TodoMVC

Implementation

Credit

Created by Stefan Höck

About

Experimental TodoMVC implementation in Idris2 using rhone-js

BSD-3-Clause license

Report repository

Releases

No releases published

Packages

No packages published

Languages