We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
Curry-Howard Correspondence/Reference
Jump to navigation
Jump to search
- This article is not detailed enough and needs to be expanded. Please help us by adding some more information.
This page serves as a reference guide for the Curry-Howard Correspondence. It aims to document as many relationships between logical and programmatical laws as possible, in order to further the cause of the Empire by educating Esolangers as to their arsenal, particularly the rather strange tools Curry-Howard bless their souls have brought us.