Related: https://treecalcul.us
https://github.com/barry-jay-personal/tree-calculus/blob/mas...
TBH, I am not sure I understand how this is different from Tree Calculus. Is it just the addition of dependent types?
https://github.com/barry-jay-personal/tree-calculus/blob/mas...
TBH, I am not sure I understand how this is different from Tree Calculus. Is it just the addition of dependent types?
As far as I know there is no Tree Calculus with (dependent) types, because types in Tree Calculus work different from main stream type theory (you internalize the type checker using reflection (see book pg 58), a bit like I did here with scheme: https://github.com/JanBessai/tcscheme).