Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Improve docs in cabal file

  • Loading branch information...
commit 61828d1868f6dc791b67b542ad6ccff83369e8a6 1 parent 233a511
@Shimuuar authored
Showing with 11 additions and 0 deletions.
  1. +11 −0 type-numbers.cabal
View
11 type-numbers.cabal
@@ -16,6 +16,17 @@ Description:
to 2^18-1 coudl be represented. Integer numbers use balanced ternary
encoding.
.
+ Package is structured as folows:
+ .
+ * [@Types.Number.Classes@] contain generic type families such as Add
+ .
+ * [@Types.Number.Nat@] natural numbers implemented using binary encoding
+ .
+ * [@Types.Number.Int@] signed integers implemented using balanced
+ ternary encoding
+ .
+ * [@Types.Boolean@] type level booleans
+ .
So far comparison of numbers, subtraction and multiplication of
numbers are supported.

0 comments on commit 61828d1

Please sign in to comment.
Something went wrong with that request. Please try again.