Web applications without a web server
- Translating grammars to JavaScript, example:
- gf -make --output-format=js FoodEng.gf FoodIta.gf
- Limited functionality
- Minibar offline
- Uses .pgf files directly.
- PGF library translated from Haskell to JavaScript to be able to
run in web browsers.
- It's an experiment. It's inefficient, but it supports dependent types.
- Next experiment: try GHCJS.