# Closure Calculus
An implementation of Closure Calculus

Based on paper by Barry Jay: https://dl.acm.org/doi/pdf/10.1145/3294032.3294085