type checking for play and dip

pounce-lang / js-core

Core elements of a Pounce (pounce-lang) interpreter, parser, preprocessor written in TypeScript. Pounce types are being developed (a preprocess type checker is in beta)

https://pounce-lang-show-case.netlify.app/

6 stars 0 forks source link

type checking for play and dip #10

Open nmorse opened 3 years ago

nmorse commented 3 years ago

play type footprint calculation independent of the underling stack expected stack and resulting stack.