barry-jay-personal/typed_tree_calculus

types for various combinatory systems, especialy tree calculi

1 best points · 0 comments · 1 Hacker News post · 30 GitHub stars · View on GitHub

Hacker News discussions