search

brandondyck / idris-vdom

Virtual DOM in pure Idris
MIT License
6 stars 2 forks source link

Fix example #3

Closed foolswood closed 6 years ago

brandondyck commented 6 years ago

I fixed this before I noticed the pull request.