Skip to content

Activity

Showing most recent first

Deploying to gh-pages from @ 43abe69 🚀

github-actions[bot]pushed 1 commit to gh-pages • c1fa6ec…7a21614 • 
yesterday

Deleted branch

omelkoniandeleted orestis/fix-membership • 
yesterday

HasMembership: fix dec instances

Pull request merge
omelkonianpushed 1 commit to master • 489aeb8…43abe69 • 
yesterday

HasMembership: fix dec instances

omelkoniancreated orestis/fix-membership • b7b0033 • 
yesterday

Deploying to gh-pages from @ 489aeb8 🚀

github-actions[bot]pushed 1 commit to gh-pages • 2a4fc16…c1fa6ec • 
yesterday

Deleted branch

omelkoniandeleted prelude-port • 
yesterday

Global: porting classes from formal-prelude

Pull request merge
omelkonianpushed 1 commit to master • aa62ce6…489aeb8 • 
yesterday

Global: porting classes from formal-prelude

Force push
omelkonianforce pushed to prelude-port • 3797921…912eb98 • 
yesterday

Global: porting classes from formal-prelude

omelkoniancreated prelude-port • 3797921 • 
yesterday

Also allow mapping input/domain level

omelkoniancreated hyper-ultra-monad-polymorphism • 515a2ef • 
on Jun 3

Change Monad polymorphism

Force push
omelkonianforce pushed to ultra-monad-polymorphism • 50b6e5c…dc59724 • 
on Apr 14

Change Monad polymorphism

Force push
omelkonianforce pushed to ultra-monad-polymorphism • 9ee0bde…50b6e5c • 
on Apr 14

Change Monad polymorphism

Force push
omelkonianforce pushed to ultra-monad-polymorphism • cb99433…9ee0bde • 
on Apr 14

Change Monad polymorphism

omelkoniancreated ultra-monad-polymorphism • cb99433 • 
on Apr 11

Deploying to gh-pages from @ aa62ce6 🚀

github-actions[bot]pushed 1 commit to gh-pages • a93bc51…2a4fc16 • 
on Mar 27

Add Monad-Sum

WhatisRTpushed 1 commit to change-monad-polymorphism • c150309…a5afcf8 • 
on Mar 27

Deleted branch

omelkoniandeleted deceq-refinement • 
on Mar 27

DecEq: polish Refinement instance

Pull request merge
omelkonianpushed 2 commits to master • 7915f0f…aa62ce6 • 
on Mar 27

DecEq: polish Refinement instance

omelkonianpushed 1 commit to deceq-refinement • 4f3ab85…14cc26d • 
on Mar 27

Add DecEq-Refinement

WhatisRTcreated deceq-refinement • 4f3ab85 • 
on Mar 27

Deploying to gh-pages from @ 7915f0f 🚀

github-actions[bot]pushed 1 commit to gh-pages • faa1d97…a93bc51 • 
on Mar 6

Deleted branch

omelkoniandeleted bump-agda • 
on Mar 6

Bump to agda-2.7.0.1/stdlib-2.2

Pull request merge
omelkonianpushed 1 commit to master • d81855d…7915f0f • 
on Mar 6

Bump to agda-2.7.0.1/stdlib-2.2

Force push
omelkonianforce pushed to bump-agda • a7f5e20…72842fc • 
on Mar 6

Bump to agda-2.7.0.1/stdlib-2.2

Force push
omelkonianforce pushed to bump-agda • 08f65f5…a7f5e20 • 
on Mar 6

Bump to agda-2.7.0.1/stdlib-2.2

Force push
omelkonianforce pushed to bump-agda • aa8db17…08f65f5 • 
on Mar 6

Bump to agda-2.7.0.1/stdlib-2.2

Force push
omelkonianforce pushed to bump-agda • 0becb41…aa8db17 • 
on Mar 6

Deploying to gh-pages from @ 2f978bd 🚀

github-actions[bot]pushed 1 commit to gh-pages • a1321f7…faa1d97 • 
on Mar 6

Bump to agda-2.7.0.1/stdlib-2.2

omelkoniancreated bump-agda • 0becb41 • 
on Mar 6

Deploying to gh-pages from @ d81855d 🚀

github-actions[bot]pushed 1 commit to gh-pages • b5895b4…a1321f7 • 
on Feb 20