ubugeeei-prod/tynix

tynix (typed-nix) is gradual type system for nix

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

话题：checker · functional-programming · gradual-typing · haskell · nix · types

在 GitHub 上查看原仓库