Skip to content

Releases: JLimperg/well-founded-corecursion

0.0.6

22 Nov 20:08
@JLimperg JLimperg
v0.0.6
This tag was signed with the committer’s verified signature. The key has expired.
JLimperg Jannis Limperg
GPG key ID: 4723F9AD5B3835B9
Expired
Learn about vigilant mode.
bbd5b0c
Compare
Choose a tag to compare
0.0.6 Latest
Latest

Version 0.0.6

Assets 2
Loading

0.0.5

22 Nov 20:07
@JLimperg JLimperg
v0.0.5
This tag was signed with the committer’s verified signature. The key has expired.
JLimperg Jannis Limperg
GPG key ID: 4723F9AD5B3835B9
Expired
Learn about vigilant mode.
a722fbe
Compare
Choose a tag to compare
0.0.5

Version 0.0.5

Assets 2
Loading

0.0.4

22 Nov 20:07
@JLimperg JLimperg
v0.0.4
This tag was signed with the committer’s verified signature. The key has expired.
JLimperg Jannis Limperg
GPG key ID: 4723F9AD5B3835B9
Expired
Learn about vigilant mode.
dfee7a9
Compare
Choose a tag to compare
0.0.4

Version 0.0.4

Assets 2
Loading

0.0.3

22 Nov 20:01
@JLimperg JLimperg
v0.0.3
This tag was signed with the committer’s verified signature. The key has expired.
JLimperg Jannis Limperg
GPG key ID: 4723F9AD5B3835B9
Expired
Learn about vigilant mode.
a2b53c1
Compare
Choose a tag to compare
0.0.3 
v0.0.3

v0.0.3
Assets 2
Loading

0.0.2

28 Oct 23:22
@JLimperg JLimperg
v0.0.2
This tag was signed with the committer’s verified signature. The key has expired.
JLimperg Jannis Limperg
GPG key ID: 4723F9AD5B3835B9
Expired
Learn about vigilant mode.
300cd18
Compare
Choose a tag to compare
0.0.2 
v0.0.2

v0.0.2
Assets 2
Loading

0.0.1

08 May 21:42
@JLimperg JLimperg
v0.0.1
This tag was signed with the committer’s verified signature. The key has expired.
JLimperg Jannis Limperg
GPG key ID: 4723F9AD5B3835B9
Expired
Learn about vigilant mode.
4169e43
Compare
Choose a tag to compare
0.0.1

This is the first release of the wellfounded-coind library, as well as the version cited by the accompanying thesis.

Assets 2
Loading