Comment Comment by 4ad Related: https://treecalcul.ushttps://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? parent 4ad 1 year ago
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?