search

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

Dependant type system for Pounce #13

Open nmorse opened 2 years ago

nmorse commented 2 years ago

Agda style "dependant" types are wanted/needed!?