Releases: Blaisorblade/dot-iris
Releases · Blaisorblade/dot-iris
v1.0
7ad40f0
This commit was signed with the committer’s verified signature.
The key has expired.
Blaisorblade
Paolo G. Giarrusso
Release corresponding to the camera-ready version of the paper.
Also uploaded as https://doi.org/10.5281/zenodo.3926703.
v0.5
76ab4c2
This commit was signed with the committer’s verified signature.
The key has expired.
Blaisorblade
Paolo G. Giarrusso
Updated submission to AEC, corresponding to updated paper draft
We have simplified the development, and given in particular a simplified presentation of subtyping.
v0.2
e65dd80
This commit was signed with the committer’s verified signature.
The key has expired.
Blaisorblade
Paolo G. Giarrusso
First submission to ICFP Artifact Evaluation
Still corresponding to the first paper draft, but with significantly more polish.
v0.1.1
25b798d
This commit was signed with the committer’s verified signature.
The key has expired.
Blaisorblade
Paolo G. Giarrusso
First release, corresponding to our first paper draft
Anonymized, submitted version.
v0.1
4d94a80
This commit was signed with the committer’s verified signature.
The key has expired.
Blaisorblade
Paolo G. Giarrusso
First release, corresponding to our first paper draft