Marcin Szamotulski
|
de9bbe0b28
|
Added SSet and MSet instances
|
2018-10-23 16:45:24 +02:00 |
|
Marcin Szamotulski
|
278d1a4c60
|
Fixed cachix signing key
|
2018-10-23 14:02:08 +02:00 |
|
Marcin Szamotulski
|
5b2cc8e2b6
|
Build with ghc802
|
2018-10-22 23:46:22 +02:00 |
|
Marcin Szamotulski
|
87c3334051
|
Added Semigroup and Monoid instance for 'C f o o'
|
2018-10-22 17:00:55 +02:00 |
|
Marcin Szamotulski
|
6b9dfa1c0e
|
Compile with GHC 822
|
2018-10-22 17:00:35 +02:00 |
|
Marcin Szamotulski
|
f1f1c443eb
|
Simplified the module, added some documentation
|
2018-10-22 16:42:26 +02:00 |
|
Marcin Szamotulski
|
015de89f7e
|
Fixed travis.yml file
|
2018-10-22 12:04:05 +02:00 |
|
Marcin Szamotulski
|
3427ddf43c
|
Added README.md
|
2018-10-22 00:17:25 +02:00 |
|
Marcin Szamotulski
|
52b8641987
|
Added travis.yml
|
2018-10-22 00:12:56 +02:00 |
|
Marcin Szamotulski
|
81e16d068a
|
FreeAlgebra2 instances
|
2018-10-22 00:09:45 +02:00 |
|
Marcin Szamotulski
|
3c1aec4bca
|
nix scripts
|
2018-10-22 00:09:31 +02:00 |
|
Marcin Szamotulski
|
21f294654a
|
CPS style free category
|
2018-08-26 23:51:53 +02:00 |
|
Marcin Szamotulski
|
82dfbaaeba
|
Initial commit
|
2018-08-26 19:12:12 +02:00 |
|