ekmett/linear-logic

They see me rollin'. They're Heyting. -- Chamillionaire, 2005

语言：Haskell · GitHub 星标：86 · Fork：2

话题：category-theory · chu-spaces · haskell · linear-logic · math · proof

在 GitHub 上查看原仓库