chu-spaces

There are 0 repository under chu-spaces topic.

ekmett / linear-logic
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
category-theory chu-spaces haskell linear-logic math proof
Language:Haskell 83

ekmett / linear-logic