Lysxia/first-class-families
1
1
Fork 0
mirror of https://github.com/Lysxia/first-class-families.git synced 2024-10-27 03:49:57 +03:00
Code Issues Projects Releases Wiki Activity

Make description more descriptive

Browse Source
This commit is contained in:
Li-yao Xia 2020-08-01 12:07:54 -04:00
parent 081b69de68
commit 9fe4ce36cf
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
first-class-families.cabal
View File

@ -1,12 +1,11 @@
name: first-class-families
version: 0.8.0.0
synopsis:
First class type families
First-class type families
description:
First class type families,
eval-style defunctionalization
A library for type-level programming.
.
See "Fcf".
See README.
homepage: https://github.com/Lysxia/first-class-families#readme
license: MIT
license-file: LICENSE