Curry-Howard Correspondence/Reference

From Esolang
Jump to: navigation, search
This article is a stub, which means that it 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.