Web applications without a web server
- Using my own experimental Haskell-to-Javascript compiler.
- Haskell version of PGF run-time compiled to JavaScript,
allowing it to run directly in web browsers.
- Can be combined with HTML5 support for offline web apps.
- pgf_offline.js:
- loads regular .pgf files,
- provides the same API as pgf_online.js.
- It's inefficient, but it supports dependent types, unlike other non-Haskell
variants of the PGF run-time library.