squire of the λ-calculus
Results
1
issues of
squire of the λ-calculus
Couldn't find any open nor closed issue on this matter, might have missed some obvious hints to be honest so feel free to disregard this if it seems like a...