evertedsphere/shorshe

freshly-fermented, dependently-typed mustard, with a substructural aftertaste

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

在 GitHub 上查看原仓库