coot/free-category
1
1
Fork 0
mirror of https://github.com/coot/free-category.git synced 2024-09-11 14:17:30 +03:00
Code Issues Projects Releases Wiki Activity
3c599fef5f
free-category/nix
History
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
..
ansi-terminal-0.6.3.1.nix Build with ghc802 2018-10-22 23:46:22 +02:00
async-2.1.1.1.nix Build with ghc802 2018-10-22 23:46:22 +02:00
concurrent-output-1.9.2.nix Build with ghc802 2018-10-22 23:46:22 +02:00
exceptions-0.8.3.nix Build with ghc802 2018-10-22 23:46:22 +02:00
free-algebras.nix Lifting (#2) 2018-12-10 19:59:39 +01:00
hoopl-3.10.2.2.nix Updated nix (ghc-8.6.2) 2018-12-16 23:12:15 +01:00
lifted-async-0.9.3.3.nix Build with ghc802 2018-10-22 23:46:22 +02:00
nixpkgs.nix Efficient representation of a free category (#5) 2019-08-31 08:12:21 +00:00
stm-2.4.5.1.nix Build with ghc802 2018-10-22 23:46:22 +02:00