]> Git — Sourcephile - haskell/symantic.git/log
haskell/symantic.git
7 years agoType1_From instances
Julien Moutinho [Fri, 18 Nov 2016 21:46:44 +0000 (22:46 +0100)]
Type1_From instances

7 years agopolish code, Foldable
Julien Moutinho [Fri, 18 Nov 2016 21:16:36 +0000 (22:16 +0100)]
polish code, Foldable

7 years agoRepr_Dup helpers
Julien Moutinho [Thu, 17 Nov 2016 01:32:14 +0000 (02:32 +0100)]
Repr_Dup helpers

7 years agoFoldable, Num
Julien Moutinho [Wed, 16 Nov 2016 11:38:26 +0000 (12:38 +0100)]
Foldable, Num

7 years agoexplore parsing of partially applied functions
Julien Moutinho [Wed, 16 Nov 2016 06:05:05 +0000 (07:05 +0100)]
explore parsing of partially applied functions

7 years agopolish names
Julien Moutinho [Mon, 14 Nov 2016 22:17:12 +0000 (23:17 +0100)]
polish names

7 years agoEq, Ord
Julien Moutinho [Mon, 14 Nov 2016 19:56:05 +0000 (20:56 +0100)]
Eq, Ord

7 years agopolish names
Julien Moutinho [Mon, 14 Nov 2016 06:44:46 +0000 (07:44 +0100)]
polish names

7 years agoMonoFunctor
Julien Moutinho [Sun, 13 Nov 2016 20:33:25 +0000 (21:33 +0100)]
MonoFunctor

7 years agorevamp Repr/*
Julien Moutinho [Sat, 12 Nov 2016 15:03:10 +0000 (16:03 +0100)]
revamp Repr/*

7 years agoInteger, Integral, Num
Julien Moutinho [Sat, 12 Nov 2016 13:05:10 +0000 (14:05 +0100)]
Integer, Integral, Num

7 years agoMap
Julien Moutinho [Fri, 11 Nov 2016 22:19:32 +0000 (23:19 +0100)]
Map

7 years agofix (->) by removing inline/val/lazy
Julien Moutinho [Mon, 7 Nov 2016 02:47:54 +0000 (03:47 +0100)]
fix (->) by removing inline/val/lazy

7 years agoIO, Monoid, Foldable, Text
Julien Moutinho [Wed, 2 Nov 2016 21:08:23 +0000 (22:08 +0100)]
IO, Monoid, Foldable, Text

7 years agoMonad
Julien Moutinho [Mon, 31 Oct 2016 19:54:26 +0000 (20:54 +0100)]
Monad

7 years agoremove old files
Julien Moutinho [Sun, 30 Oct 2016 22:19:06 +0000 (23:19 +0100)]
remove old files

7 years agoinit
Julien Moutinho [Sun, 30 Oct 2016 10:45:31 +0000 (11:45 +0100)]
init

7 years agoinit
Julien Moutinho [Thu, 27 Oct 2016 20:54:52 +0000 (22:54 +0200)]
init

7 years agoinit
Julien Moutinho [Thu, 27 Oct 2016 20:49:01 +0000 (22:49 +0200)]
init

7 years agoinit
Julien Moutinho [Thu, 27 Oct 2016 20:34:25 +0000 (22:34 +0200)]
init

7 years agoinit
Julien Moutinho [Wed, 26 Oct 2016 16:17:54 +0000 (18:17 +0200)]
init

7 years agoinit
Julien Moutinho [Tue, 25 Oct 2016 22:49:02 +0000 (00:49 +0200)]
init

7 years agoinit
Julien Moutinho [Tue, 25 Oct 2016 18:40:55 +0000 (20:40 +0200)]
init

7 years agoinit
Julien Moutinho [Tue, 25 Oct 2016 13:06:27 +0000 (15:06 +0200)]
init

7 years agoinit
Julien Moutinho [Tue, 25 Oct 2016 11:45:44 +0000 (13:45 +0200)]
init

7 years agoinit
Julien Moutinho [Sun, 23 Oct 2016 14:36:22 +0000 (16:36 +0200)]
init

7 years agoinit
Julien Moutinho [Sun, 23 Oct 2016 10:33:55 +0000 (12:33 +0200)]
init

7 years agoinit
Julien Moutinho [Sun, 23 Oct 2016 09:22:46 +0000 (11:22 +0200)]
init

7 years agoinit
Julien Moutinho [Sun, 23 Oct 2016 07:01:47 +0000 (09:01 +0200)]
init

7 years agoinit
Julien Moutinho [Thu, 20 Oct 2016 12:18:16 +0000 (14:18 +0200)]
init

7 years agoinit
Julien Moutinho [Tue, 18 Oct 2016 16:15:59 +0000 (18:15 +0200)]
init

7 years agoinit
Julien Moutinho [Tue, 18 Oct 2016 12:16:59 +0000 (14:16 +0200)]
init

7 years agoinit
Julien Moutinho [Sun, 16 Oct 2016 15:06:56 +0000 (17:06 +0200)]
init

7 years agoinit
Julien Moutinho [Fri, 14 Oct 2016 20:45:59 +0000 (22:45 +0200)]
init

7 years agoinit
Julien Moutinho [Fri, 14 Oct 2016 20:44:43 +0000 (22:44 +0200)]
init

7 years agoinit
Julien Moutinho [Fri, 14 Oct 2016 20:37:37 +0000 (22:37 +0200)]
init

7 years agoinit
Julien Moutinho [Fri, 14 Oct 2016 18:05:28 +0000 (20:05 +0200)]
init

7 years agoinit
Julien Moutinho [Sat, 8 Oct 2016 13:04:39 +0000 (15:04 +0200)]
init

7 years agoinit
Julien Moutinho [Sat, 8 Oct 2016 00:01:49 +0000 (02:01 +0200)]
init

7 years agoinit
Julien Moutinho [Fri, 7 Oct 2016 23:59:48 +0000 (01:59 +0200)]
init

7 years agoinit
Julien Moutinho [Fri, 7 Oct 2016 23:46:38 +0000 (01:46 +0200)]
init

7 years agoinit
Julien Moutinho [Fri, 7 Oct 2016 23:42:53 +0000 (01:42 +0200)]
init

7 years agoinit
Julien Moutinho [Fri, 7 Oct 2016 23:35:33 +0000 (01:35 +0200)]
init

7 years agoinit
Julien Moutinho [Fri, 7 Oct 2016 23:33:10 +0000 (01:33 +0200)]
init

7 years agoinit
Julien Moutinho [Fri, 7 Oct 2016 14:08:01 +0000 (16:08 +0200)]
init

7 years agoinit
Julien Moutinho [Thu, 6 Oct 2016 20:48:49 +0000 (22:48 +0200)]
init

7 years agoinit
Julien Moutinho [Thu, 6 Oct 2016 15:47:54 +0000 (17:47 +0200)]
init

7 years agoinit
Julien Moutinho [Thu, 6 Oct 2016 15:39:13 +0000 (17:39 +0200)]
init

7 years agoinit
Julien Moutinho [Thu, 6 Oct 2016 15:29:24 +0000 (17:29 +0200)]
init

7 years agoinit
Julien Moutinho [Mon, 3 Oct 2016 14:43:19 +0000 (16:43 +0200)]
init

7 years agoinit
Julien Moutinho [Mon, 3 Oct 2016 14:36:18 +0000 (16:36 +0200)]
init

7 years agoinit
Julien Moutinho [Mon, 3 Oct 2016 14:36:13 +0000 (16:36 +0200)]
init

7 years agoinit
Julien Moutinho [Sun, 2 Oct 2016 14:15:39 +0000 (16:15 +0200)]
init

7 years agoinit
Julien Moutinho [Sun, 2 Oct 2016 14:06:11 +0000 (16:06 +0200)]
init

7 years agoinit
Julien Moutinho [Sun, 2 Oct 2016 14:04:05 +0000 (16:04 +0200)]
init

7 years agoinit
Julien Moutinho [Sun, 2 Oct 2016 13:55:00 +0000 (15:55 +0200)]
init

7 years agoinit
Julien Moutinho [Sun, 2 Oct 2016 13:46:42 +0000 (15:46 +0200)]
init

7 years agoinit
Julien Moutinho [Sun, 2 Oct 2016 10:56:14 +0000 (12:56 +0200)]
init

7 years agoinit
Julien Moutinho [Sat, 1 Oct 2016 23:46:11 +0000 (01:46 +0200)]
init

7 years agoinit
Julien Moutinho [Sat, 1 Oct 2016 23:13:05 +0000 (01:13 +0200)]
init

7 years agoinit
Julien Moutinho [Sat, 1 Oct 2016 19:18:48 +0000 (21:18 +0200)]
init

7 years agoinit
Julien Moutinho [Sat, 1 Oct 2016 15:19:48 +0000 (17:19 +0200)]
init

7 years agoinit
Julien Moutinho [Fri, 30 Sep 2016 17:37:00 +0000 (19:37 +0200)]
init

7 years agoinit
Julien Moutinho [Fri, 30 Sep 2016 17:36:54 +0000 (19:36 +0200)]
init

7 years agoinit
Julien Moutinho [Fri, 30 Sep 2016 17:36:43 +0000 (19:36 +0200)]
init

7 years agoinit
Julien Moutinho [Fri, 30 Sep 2016 16:02:01 +0000 (18:02 +0200)]
init

7 years agoinit
Julien Moutinho [Fri, 30 Sep 2016 10:29:44 +0000 (12:29 +0200)]
init

7 years agoinit
Julien Moutinho [Mon, 19 Sep 2016 20:02:44 +0000 (22:02 +0200)]
init

7 years agoinit
Julien Moutinho [Mon, 19 Sep 2016 20:02:44 +0000 (22:02 +0200)]
init