search

stacks-network / clarity-wasm

`clar2wasm` is a compiler for generating WebAssembly from Clarity.
GNU General Public License v3.0
12 stars 12 forks source link

Make design for bottom-up typechecker directly integrated inside the compiler #406

Open csgui opened 4 months ago

csgui commented 4 months ago

Opening this ticket for discussion about the bottom-up typechecker.

In scope: