Post #1780148

@chrisamaphone @pigworker me and @julesh have a bunch of lambda and sequent calculi implemented for the category of containers, but would need to check which of them are public