1
1
mirror of https://github.com/anoma/juvix.git synced 2024-09-19 20:48:55 +03:00
juvix/test
Paul Cadman 98776997db
Add a Web version of TicTacToe (#1427)
* Add a Web version of TicTacToe

The web version demonstrates injecting host functions into the WASM
import table and call exported Juvix functions from JS.

The web version and the CLI version of the TicTacToe game use the same
game logic backend Juvix module.

* Build and publish web apps in documentation

* Add a link to the TicTacToe web app in example documentation

* Update Makefile to match the new format
2022-08-03 16:14:38 +02:00
..
Arity Refactor (#1420) 2022-08-03 13:20:40 +02:00
BackendC Add a Web version of TicTacToe (#1427) 2022-08-03 16:14:38 +02:00
MonoJuvix Refactor (#1420) 2022-08-03 13:20:40 +02:00
Reachability Refactor (#1420) 2022-08-03 13:20:40 +02:00
Scope Refactor (#1420) 2022-08-03 13:20:40 +02:00
Termination Refactor (#1420) 2022-08-03 13:20:40 +02:00
TypeCheck Refactor (#1420) 2022-08-03 13:20:40 +02:00
Arity.hs Support implicit arguments (#144) 2022-06-13 14:25:22 +02:00
BackendC.hs Support partial application and closure passing in C backend (#190) 2022-06-28 10:25:43 +02:00
Base.hs WASM import all non-compile axioms with alphanum names in entrypoint (#1426) 2022-08-02 18:58:45 +02:00
Main.hs Compute name dependency graph and filter unreachable definitions (#1408) 2022-07-25 18:38:44 +02:00
MonoJuvix.hs Monomorphization (#70) 2022-05-04 10:50:03 +02:00
Reachability.hs Compute name dependency graph and filter unreachable definitions (#1408) 2022-07-25 18:38:44 +02:00
Scope.hs [ CI ] New jobs: ormolu and hlint 2022-04-05 19:57:21 +02:00
Termination.hs Add the termination checker to the pipeline (#111) 2022-05-30 13:40:52 +02:00
TypeCheck.hs Implement type checker with polymorphism (#62) 2022-04-22 10:06:34 +02:00