Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• d88a6e59ad
  add "delete" functions master rnhmjoj 2016-12-04 15:36:06 +0100
• d22f298356
  flip Vec arguments to allow a Functor instance rnhmjoj 2016-12-04 04:16:07 +0100
• c7ac8bb7a7
  add search functions rnhmjoj 2016-11-29 16:18:40 +0100
• 28bc4568f7
  add alias rnhmjoj 2016-11-29 16:18:19 +0100
• f87952261a
  remove unused import rnhmjoj 2016-11-29 16:18:00 +0100
• 0d5d0f0885
  fix the built-in typeclasses mess rnhmjoj 2016-11-29 16:17:39 +0100
• 12af0730eb
  remove Nat-specific equality rnhmjoj 2016-11-28 21:14:43 +0100
• 0994ae2940
  add natural exponentiation rnhmjoj 2016-11-28 21:14:14 +0100
• f0b2422711
  rebind ifThenElse rnhmjoj 2016-11-28 21:13:32 +0100
• be168245c9
  fix typo rnhmjoj 2016-11-28 19:41:59 +0100
• d59417834d
  use Type rnhmjoj 2016-11-28 19:39:27 +0100
• 4cc8bc1f24
  add finite sets rnhmjoj 2016-11-28 19:25:10 +0100
• 1123ebe83b
  temporarily use ambiguous types rnhmjoj 2016-11-27 23:30:42 +0100
• 3714f048cf
  add new proof rnhmjoj 2016-11-27 23:24:10 +0100
• 9d3ec1d2ad
  Replace star with Type rnhmjoj 2016-11-27 20:17:27 +0100
• b9f249a9ff
  raise Data.Function to the type levels rnhmjoj 2016-11-27 20:16:23 +0100
• 99619b7109
  add permutations rnhmjoj 2016-11-27 20:15:33 +0100
• 44aec1f56c
  add factorial rnhmjoj 2016-11-25 17:37:02 +0100
• 6e73e737cc
  cosmesis rnhmjoj 2016-11-16 23:11:28 +0100
• c1351e2dff
  add implicit take/drop rnhmjoj 2016-11-16 23:11:07 +0100
• f8365ca381
  add minimum/maximum rnhmjoj 2016-11-16 22:24:15 +0100
• a8291ccf9f
  add zips rnhmjoj 2016-11-16 22:06:42 +0100
• 358fb280ae
  add proof for transpose rnhmjoj 2016-11-16 22:06:19 +0100
• c631d24d38
  add min/max functions and theorems rnhmjoj 2016-11-16 22:05:43 +0100
• 2c4ab33bc4
  add transpose rnhmjoj 2016-11-16 01:03:51 +0100
• 8abcc2f1f1
  add more folds rnhmjoj 2016-11-15 22:57:19 +0100
• ee653f3822
  add concatMap rnhmjoj 2016-11-15 22:23:31 +0100
• c205db3ff7
  add intercalate and concat rnhmjoj 2016-11-15 20:28:12 +0100
• ccf95e0cb9
  proof for interspersed list length rnhmjoj 2016-11-15 00:07:00 +0100
• fc3b3bd927
  add new proof rnhmjoj 2016-11-15 00:05:26 +0100
• cbd12fe5b8
  refactor commutativity proof rnhmjoj 2016-11-15 00:04:50 +0100
• f483b9c6c4
  Reorganize functions rnhmjoj 2016-04-28 19:36:12 +0200
• 544b999f13
  Remove unused fields rnhmjoj 2016-04-24 13:54:08 +0200
• c7508bc57e
  Improve docs rnhmjoj 2016-04-24 13:53:45 +0200
• 5d7ce06597
  Add .gitignore rnhmjoj 2016-04-23 18:23:07 +0200
• 5f0704739e
  Initial commit rnhmjoj 2016-04-23 18:22:37 +0200