Commit Graph

20 Commits

Author SHA1 Message Date
Sandy Maguire
1f6ce77413 Merge branch 'master' of https://github.com/CaptJakk/polysemy into CaptJakk-master 2019-04-19 12:13:11 -04:00
Sandy Maguire
44d6306f43 Documentation fixes from the user study with @gelisam 2019-04-19 11:52:43 -04:00
Armando Ramirez
1a5237462f
LANGUAGE typo 2019-04-10 16:11:41 -07:00
Sandy Maguire
bfc3c888f6 ok it's not THAT fast 2019-04-10 16:40:56 -04:00
Sandy Maguire
8d85a04302 final cleanup 2019-04-10 16:27:25 -04:00
Sandy Maguire
25a875cd3f readme 2019-04-10 16:22:07 -04:00
Sandy Maguire
6be3322a91 readme 2019-04-10 16:11:36 -04:00
Sandy Maguire
a5c85b7a2c ops 2019-04-10 00:18:18 -04:00
Sandy Maguire
6f7749cfcd hackage badge 2019-04-10 00:17:26 -04:00
Sandy Maguire
c5c0a6c7c0 put travis badge on readme 2019-04-10 00:12:34 -04:00
Sandy Maguire
15e378cf0a better names for tactics 2019-04-08 16:04:21 -04:00
Sandy Maguire
336451287d TH, baby! 2019-04-08 01:14:14 -04:00
Sandy Maguire
12aa92836f loop breakers 2019-04-08 00:29:29 -04:00
Sandy Maguire
b69bba9dd0 update readme 2019-03-21 10:27:48 -04:00
Sandy Maguire
352c55ec62 make TH work with newtypes 2019-03-20 19:36:49 -04:00
Sandy Maguire
546cf16e1b use default pragmas 2019-03-20 09:53:22 -04:00
Sandy Maguire
5d7d957b9a -> polysemy 2019-03-19 23:42:18 -04:00
Sandy Maguire
80ab98692b fancy type errors 2019-03-19 13:52:29 -04:00
Sandy Maguire
2be94abfd1 tests 2019-03-18 23:04:21 -04:00
Sandy Maguire
9c8162a5b1 GLORY 2019-02-13 15:52:56 -05:00