Skip to content

Activity

Showing most recent first

Deploying to gh-pages from @ 8996a64 🚀

github-actions[bot]pushed 1 commit to gh-pages • 9a7dca7…77992f1 • 
1 hour ago

Deleted branch

omelkoniandeleted fix-v2.2 • 
1 hour ago

Fix List.any import

Pull request merge
omelkonianpushed 1 commit to master • e900c5d…8996a64 • 
1 hour ago

Fix List.any import

omelkoniancreated fix-v2.2 • bf61e8b • 
1 hour ago

Deleted branch

omelkoniandeleted bump-agda • 
7 hours ago

Bump to agda-2.7.0.1/stdlib-2.2

Pull request merge
omelkonianpushed 1 commit to master • 06c6605…e900c5d • 
7 hours ago

Bump to agda-2.7.0.1/stdlib-2.2

Force push
omelkonianforce pushed to bump-agda • 20c75fc…1d52c1e • 
7 hours ago

Bump to agda-2.7.0.1/stdlib-2.2

omelkoniancreated bump-agda • 20c75fc • 
7 hours ago

Deploying to gh-pages from @ 06c6605 🚀

github-actions[bot]pushed 1 commit to gh-pages • e77a36a…9a7dca7 • 
yesterday

Deleted branch

omelkoniandeleted orestis/inline-tactic • 
yesterday

Tactic: new inline macro

Pull request merge
omelkonianpushed 1 commit to master • 69c3195…06c6605 • 
yesterday

Deploying to gh-pages from @ 1f49ce3 🚀

github-actions[bot]pushed 1 commit to gh-pages • 49d80ab…e77a36a • 
yesterday

Tactic: new inline macro

Force push
omelkonianforce pushed to orestis/inline-tactic • fa30f7a…320183f • 
yesterday

Deploying to gh-pages from @ baaa2ff 🚀

github-actions[bot]pushed 1 commit to gh-pages • 03c6cd3…49d80ab • 
yesterday

Tactic: new inline macro

Force push
omelkonianforce pushed to orestis/inline-tactic • fb4efb7…fa30f7a • 
yesterday

Deploying to gh-pages from @ 302d45d 🚀

github-actions[bot]pushed 1 commit to gh-pages • 23f15f0…03c6cd3 • 
yesterday

Tactic: new inline macro

omelkoniancreated orestis/inline-tactic • fb4efb7 • 
yesterday

Deploying to gh-pages from @ 69c3195 🚀

github-actions[bot]pushed 1 commit to gh-pages • 217e0a1…23f15f0 • 
2 days ago

Deleted branch

omelkoniandeleted upstream/hs-type-additions • 
2 days ago

Add tests for autoHsType

Pull request merge
omelkonianpushed 3 commits to master • fabf9c0…69c3195 • 
2 days ago

Deploying to gh-pages from @ 7b0df3d 🚀

github-actions[bot]pushed 1 commit to gh-pages • 3db9216…217e0a1 • 
2 days ago

Add tests for autoHsType

omelkoniancreated upstream/hs-type-additions • d021f2d • 
2 days ago

Deploying to gh-pages from @ fabf9c0 🚀

github-actions[bot]pushed 1 commit to gh-pages • b537887…3db9216 • 
2 days ago

Deleted branch

omelkoniandeleted upstream-convertible-hstype • 
2 days ago

Convertible/HasHsType: general cleanup

Pull request merge
omelkonianpushed 2 commits to master • 9d27351…fabf9c0 • 
2 days ago

Deploying to gh-pages from @ f8bb73d 🚀

github-actions[bot]pushed 1 commit to gh-pages • e4140c1…b537887 • 
2 days ago

Convertible/HasHsType: general cleanup

Force push
omelkonianforce pushed to upstream-convertible-hstype • 158822e…3a2fa97 • 
2 days ago

Convertible/HasHsType: general cleanup

omelkonianpushed 1 commit to upstream-convertible-hstype • 480242a…158822e • 
3 days ago

Deploying to gh-pages from @ 9d27351 🚀

github-actions[bot]pushed 1 commit to gh-pages • b3265a1…e4140c1 • 
7 days ago

Deleted branch

omelkoniandeleted fix-deriving-type-generation • 
7 days ago