jff/ueq-binary-op

A literate Haskell program that proves the inexistence of a unique existential binary operator

语言：Haskell · GitHub 星标：1 · Fork：0

在 GitHub 上查看原仓库