Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
语言:Haskell · GitHub 星标:115 · Fork:20
在 GitHub 上查看原仓库