rnhmjoj/number
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

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