Skip to content

Actions: solomon-b/monoidal-functors

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
216 workflow runs
216 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adds Profunctor nix:build #344: Commit 6c16fc8 pushed by solomon-b
January 29, 2024 19:43 2m 56s solomon/categorical-functor
solomon/categorical-functor
January 29, 2024 19:43 2m 56s
Generic Functor attempt 1: IcelandJack's categorical functor proposal nix:build #343: Pull request #46 synchronize by solomon-b
January 29, 2024 19:02 3m 1s solomon/categorical-functor
solomon/categorical-functor
January 29, 2024 19:02 3m 1s
Generic Functor attempt 1: IcelandJack's categorical functor proposal cabal:build #184: Pull request #46 synchronize by solomon-b
January 29, 2024 19:02 5m 29s solomon/categorical-functor
solomon/categorical-functor
January 29, 2024 19:02 5m 29s
Fixes first, second, and bimap. nix:build #342: Commit 3d671fc pushed by solomon-b
January 29, 2024 19:02 2m 57s solomon/categorical-functor
solomon/categorical-functor
January 29, 2024 19:02 2m 57s
Generic Functor attempt 1: IcelandJack's categorical functor proposal cabal:build #183: Pull request #46 synchronize by solomon-b
January 27, 2024 02:54 1m 52s solomon/categorical-functor
solomon/categorical-functor
January 27, 2024 02:54 1m 52s
Generic Functor attempt 1: IcelandJack's categorical functor proposal nix:build #341: Pull request #46 synchronize by solomon-b
January 27, 2024 02:54 2m 49s solomon/categorical-functor
solomon/categorical-functor
January 27, 2024 02:54 2m 49s
Adds more examples of FunctorOf and a working Category instance for N… nix:build #340: Commit 829270d pushed by solomon-b
January 27, 2024 02:54 2m 52s solomon/categorical-functor
solomon/categorical-functor
January 27, 2024 02:54 2m 52s
Generic Functor attempt 1: IcelandJack's categorical functor proposal nix:build #339: Pull request #46 synchronize by solomon-b
January 27, 2024 02:53 2m 53s solomon/categorical-functor
solomon/categorical-functor
January 27, 2024 02:53 2m 53s
Generic Functor attempt 1: IcelandJack's categorical functor proposal cabal:build #182: Pull request #46 synchronize by solomon-b
January 27, 2024 02:53 1m 49s solomon/categorical-functor
solomon/categorical-functor
January 27, 2024 02:53 1m 49s
Adds more examples of FunctorOf and a working Category instance for N… nix:build #338: Commit 4c81d17 pushed by solomon-b
January 27, 2024 02:53 2m 56s solomon/categorical-functor
solomon/categorical-functor
January 27, 2024 02:53 2m 56s
Generic Functor attempt 1: IcelandJack's categorical functor proposal cabal:build #181: Pull request #46 synchronize by solomon-b
January 24, 2024 21:30 7m 20s solomon/categorical-functor
solomon/categorical-functor
January 24, 2024 21:30 7m 20s
Generic Functor attempt 1: IcelandJack's categorical functor proposal nix:build #337: Pull request #46 synchronize by solomon-b
January 24, 2024 21:30 4m 9s solomon/categorical-functor
solomon/categorical-functor
January 24, 2024 21:30 4m 9s
Iceland Jack's categorical functor proposal nix:build #336: Commit 6216a68 pushed by solomon-b
January 24, 2024 21:30 3m 55s solomon/categorical-functor
solomon/categorical-functor
January 24, 2024 21:30 3m 55s
Implements Traversable Phase 1 (Tupling) cabal:build #180: Pull request #45 synchronize by solomon-b
January 24, 2024 21:29 5m 6s solomon/hkd-traversable
solomon/hkd-traversable
January 24, 2024 21:29 5m 6s
Implements Traversable Phase 1 (Tupling) nix:build #335: Pull request #45 synchronize by solomon-b
January 24, 2024 21:29 4m 25s solomon/hkd-traversable
solomon/hkd-traversable
January 24, 2024 21:29 4m 25s
Draft of Trifunctor.Traversable nix:build #334: Commit 33b24ef pushed by solomon-b
January 24, 2024 21:29 2m 53s solomon/hkd-traversable
solomon/hkd-traversable
January 24, 2024 21:29 2m 53s
Merge pull request #44 from solomon-b/solomon/missing-trifunctor-oper… nix:build #333: Commit a5fca19 pushed by solomon-b
January 24, 2024 21:28 2m 52s main
main
January 24, 2024 21:28 2m 52s
Merge pull request #44 from solomon-b/solomon/missing-trifunctor-oper… cabal:build #179: Commit a5fca19 pushed by solomon-b
January 24, 2024 21:28 5m 7s main
main
January 24, 2024 21:28 5m 7s
Adds missing common trifunctor combine operators. cabal:build #178: Pull request #44 synchronize by solomon-b
January 24, 2024 21:21 4m 46s solomon/missing-trifunctor-operators
solomon/missing-trifunctor-operators
January 24, 2024 21:21 4m 46s
Adds missing common trifunctor combine operators. nix:build #332: Pull request #44 synchronize by solomon-b
January 24, 2024 21:21 2m 54s solomon/missing-trifunctor-operators
solomon/missing-trifunctor-operators
January 24, 2024 21:21 2m 54s
Adds missing combine operators. nix:build #331: Commit 2fe7753 pushed by solomon-b
January 24, 2024 21:21 2m 49s solomon/missing-trifunctor-operators
solomon/missing-trifunctor-operators
January 24, 2024 21:21 2m 49s
Adds missing common trifunctor combine operators. cabal:build #177: Pull request #44 synchronize by solomon-b
January 24, 2024 21:21 5m 0s solomon/missing-trifunctor-operators
solomon/missing-trifunctor-operators
January 24, 2024 21:21 5m 0s
Adds missing common trifunctor combine operators. nix:build #330: Pull request #44 synchronize by solomon-b
January 24, 2024 21:21 2m 50s solomon/missing-trifunctor-operators
solomon/missing-trifunctor-operators
January 24, 2024 21:21 2m 50s
Adds missing combine operators. nix:build #329: Commit 5844ceb pushed by solomon-b
January 24, 2024 21:20 2m 51s solomon/missing-trifunctor-operators
solomon/missing-trifunctor-operators
January 24, 2024 21:20 2m 51s
Adds missing common trifunctor combine operators. cabal:build #176: Pull request #44 synchronize by solomon-b
January 24, 2024 21:13 5m 35s solomon/missing-trifunctor-operators
solomon/missing-trifunctor-operators
January 24, 2024 21:13 5m 35s