issues
search
brandondyck
/
idris-vdom
Virtual DOM in pure Idris
MIT License
6
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Look into using a package manager
#7
brandondyck
opened
6 years ago
0
Simplify implementation of renderList
#6
brandondyck
opened
6 years ago
0
VirtualDOM__DOM__addEventListener: TypeError: $_0_lift is undefined
#5
foolswood
opened
6 years ago
2
Get tests and example working without installing package
#4
brandondyck
closed
6 years ago
0
Fix example
#3
foolswood
closed
6 years ago
1
Add encoding to test html to eliminate warning
#2
foolswood
closed
6 years ago
0
Handle JavaScript exceptions in FFI calls
#1
brandondyck
opened
6 years ago
0