rnhmjoj
|
dea3df894c
|
Fix off-by-one in e
|
2016-02-23 04:19:45 +01:00 |
|
rnhmjoj
|
d23b21de6b
|
Use strict natural numbers
|
2016-02-23 02:48:43 +01:00 |
|
rnhmjoj
|
e436701d7b
|
Use strict natural numbers
|
2016-02-23 02:48:34 +01:00 |
|
rnhmjoj
|
5b677c44be
|
move // operator to internals
|
2016-02-23 02:36:12 +01:00 |
|
rnhmjoj
|
87f99075ae
|
Remove Data.Number.Peano
|
2016-02-23 00:29:22 +01:00 |
|
rnhmjoj
|
172bba602b
|
Use the same author identifier everywhere
|
2015-09-10 03:33:26 +02:00 |
|
rnhmjoj
|
45a93e40ef
|
Fix documentation
|
2015-09-09 21:09:25 +02:00 |
|
rnhmjoj
|
42d477edc8
|
Export new functions
|
2015-08-20 20:40:34 +02:00 |
|
rnhmjoj
|
d57ae9b4a0
|
Rewrite arithmetics
|
2015-08-20 20:40:13 +02:00 |
|
rnhmjoj
|
6ed0732644
|
Avoid conversion from floating point
|
2015-08-20 20:38:54 +02:00 |
|
rnhmjoj
|
af0bbedd48
|
Break line
|
2015-07-13 17:55:37 +02:00 |
|
rnhmjoj
|
0e0a8a0d77
|
Add credit for numeric-peano
|
2015-06-02 11:34:01 +02:00 |
|
Michele Guerini Rocco
|
2139cd0662
|
Add docs link
|
2015-06-02 11:17:01 +02:00 |
|
rnhmjoj
|
ea2f463947
|
Oops
|
2015-06-02 00:33:07 +02:00 |
|
rnhmjoj
|
fb61f650f6
|
Important notice
|
2015-06-02 00:31:59 +02:00 |
|
rnhmjoj
|
2d9e74dfde
|
Add upper constraint for base
|
2015-06-02 00:31:43 +02:00 |
|
rnhmjoj
|
ce68fe5d43
|
Add newlines
|
2015-06-02 00:25:04 +02:00 |
|
rnhmjoj
|
2b4f936811
|
Forgot to update link
|
2015-06-02 00:22:56 +02:00 |
|
rnhmjoj
|
0953b7d9a1
|
Add readme
|
2015-06-02 00:22:01 +02:00 |
|
rnhmjoj
|
ba77040c13
|
Update license
|
2015-06-02 00:10:23 +02:00 |
|
rnhmjoj
|
6d3c89c8a6
|
Improve docs
Add images and stuff
|
2015-06-02 00:09:05 +02:00 |
|
rnhmjoj
|
414ec21041
|
Add preliminary Haddock docs
|
2015-06-01 22:55:25 +02:00 |
|
rnhmjoj
|
dc17819f56
|
Include Numeric.Peano to solve re-export mess
|
2015-06-01 22:54:38 +02:00 |
|
rnhmjoj
|
a9600701ce
|
Update .cabal
|
2015-06-01 18:22:35 +02:00 |
|
rnhmjoj
|
101b6543bb
|
Add traversable and foldable instance
|
2015-06-01 18:21:24 +02:00 |
|
rnhmjoj
|
628741482b
|
Move constants
|
2015-06-01 17:17:22 +02:00 |
|
rnhmjoj
|
81b04dc6fa
|
Add .gitignore
|
2015-06-01 17:17:09 +02:00 |
|
rnhmjoj
|
ad6622a577
|
Remove old test
|
2015-06-01 17:17:00 +02:00 |
|
rnhmjoj
|
bbc90e1638
|
Initial commit
|
2015-06-01 17:08:39 +02:00 |
|