Skip to content

Tags: jgrosso/agda-stdlib

Tags

v1.7.2-rc1

Toggle v1.7.2-rc1's commit message 
Bump support for GHC

v1.7.1

Toggle v1.7.1's commit message 
Agda standard library version 1.7.1

v1.7

Toggle v1.7's commit message 
Agda standard library version 1.7

v1.6

Toggle v1.6's commit message 
Agda standard library version 1.6

v1.5

Toggle v1.5's commit message 
Agda standard library version 1.5

v1.4

Toggle v1.4's commit message 
Agda standard library version 1.4

v1.3

Toggle v1.3's commit message 
Agda standard library version 1.3

v1.2

Toggle v1.2's commit message 
Agda standard library version 1.2

v1.1

Toggle v1.1's commit message 
Agda standard library version 1.1

v1.0.1

Toggle v1.0.1's commit message 
Agda standard library version 1.0.1