Portfoligno/homebrew-idris

Homebrew tap for idris2-pack (Idris 2 package manager)

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

话题：functional-programming · homebrew · homebrew-tap · idris2 · idris2-pack · package-manager

在 GitHub 上查看原仓库