I've left the university to work on my book and explore other opportunities
tree-calculus. Proofs in Coq for the book Reflective Programs in Tree Calculus
typed_tree_calculus. types for various combinatory systems, especialy tree calculi
blog. a general blog about my projects, or anything
combinatory-types. Type inference for SK-combinators
