6 Commits

Author	SHA1	Message	Date
Marcin Szamotulski	20d61b2355	Efficient representation of a free category (#5) ... * Efficient representation of free category Using type aligned real time queues (Okasaki, 'Purely Functional Data Structures') to represent catanable type allign lists (free categories). Composition is O(1) and right fold is O(n), where n is number of transitions. * Bump version to 0.0.3 Make it compile on ghc802. * Updated CI configuration	2019-08-31 08:12:21 +00:00
Marcin Szamotulski	255d16547d	travis: ghc-862	2018-12-16 23:12:16 +01:00
Marcin Szamotulski	adbb6c3550	Initial version	2018-11-03 17:52:30 +01:00
Marcin Szamotulski	278d1a4c60	Fixed cachix signing key	2018-10-23 14:02:08 +02:00
Marcin Szamotulski	015de89f7e	Fixed travis.yml file	2018-10-22 12:04:05 +02:00
Marcin Szamotulski	52b8641987	Added travis.yml	2018-10-22 00:12:56 +02:00