Paul Cadman 657de73b98 WASM import all non-compile axioms with alphanum names in entrypoint (#1426) ... * import all non-compile axioms with alphanum names in entrypoint This commit adds `__attribute__((input_name(<name>)))` to the type signature of all axioms that do not have a compile block. This indicates to the compiler that this function should be added to the input table of the WASM binary. Adds a test that an imported function can be called from Juvix. * test: Run node command in same directory as WASM output * Don't generate importName for non-alphnum axioms * Add a tutorial on Juvix module to JS interop via Wasm		2022-08-02 18:58:45 +02:00
..
backends	Docs updates for 0.1.4	2022-05-31 12:28:08 +02:00
compiler-architecture	Rename MiniJuvix to Juvix (#259)	2022-07-08 13:59:45 +02:00
examples	Update some docs (#1391)	2022-07-19 21:13:35 +02:00
getting-started	Update some docs (#1391)	2022-07-19 21:13:35 +02:00
introduction/about	v0.2.2	2022-07-25 18:54:48 +02:00
language-reference	Update some docs (#1391)	2022-07-19 21:13:35 +02:00
notes	Add positivity check for inductive types (#1393)	2022-07-23 09:27:12 +02:00
tooling	Update some docs (#1391)	2022-07-19 21:13:35 +02:00
tutorials	WASM import all non-compile axioms with alphanum names in entrypoint (#1426)	2022-08-02 18:58:45 +02:00
SUMMARY.org	WASM import all non-compile axioms with alphanum names in entrypoint (#1426)	2022-08-02 18:58:45 +02:00