A Lambda expression compiler targeting web assembly.
you can find formal definition of syntax in 'syntax.peg' file.
binding = 1#I32.
int32 = 0#I32.
int64 = 0#I64.
float32 = 0#F32.
float64 = 0#F64.
inc = x:I32. x + 1#I32.
dec = x:I32. x - 1#I32.
square = x:I32. x * x.
id = x:a. x.
apply = f:a->a. x:a. f x.
main = apply id (inc 6#I32).
npm run compile [path]
prints wat(webassembly text format) output of a given source.
npm run execute [path]
compiles and execute a given code. (main is the entry point, value of main will be printed)
- monomorphic function passed to universally quantified parameter makes function signature mismatch error.