Skip to content

About

Flexible linear type system demo.

Topics

Resources

Stars

0 stars

Watchers

2 watching

Forks

Latest commit

 

History

64 Commits

Folders and files

Repository files navigation

Flexible Linear Type System

Build

Build Commands

Build:

cargo build

Build WASM (the output files are under /pkg):

cargo install wasm-pack
wasm-pack build --target web

Test all:

cargo test

Test a specific testcase and checkout the standard output, say test_conditional:

cargo test test_conditional -- --nocapture

About

Flexible linear type system demo.

Topics

Resources

Stars

0 stars

Watchers

2 watching

Forks

Releases

Packages

Contributors

Languages