Giters

pkel / incr_dom_widgets

A library of libraries and widgets for Incr_dom applications.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Incr_dom_widgets: shared abstractions for Incr_dom applications

A library of libraries and widgets for Incr_dom applications.

About

A library of libraries and widgets for Incr_dom applications.

License:MIT License

Languages

Language:OCaml 99.6%Language:Makefile 0.2%Language:HTML 0.1%Language:Standard ML 0.1%