projects / matthijs / master-project / support / tfvec.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
snapshot
Removed 'group' - Div type family is not instanced for Decimals
drwxr-xr-x - Data tree | history
-rw-r--r-- 1509 LICENSE blob | history | raw
-rw-r--r-- 1 README blob | history | raw
-rw-r--r-- 76 Setup.lhs blob | history | raw
-rw-r--r-- 843 tfvec.cabal blob | history | raw
TFVec fixed size vector library, based on the TFP type level integer package. Used by the cλash compiler.