Skip to content

Releases: anoma/geb

v0.2.0

06 Mar 03:32
@mariari mariari
v0.2.0
78fb68b
Compare
Choose a tag to compare
v0.2.0 
Release 0.2.0
Assets 3
Loading

Hot Fix: Vampir Alpha

24 Feb 14:34
@mariari mariari
v0.1.1-alpha
b96aa9a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Hot Fix: Vampir Alpha

A hot fix for the Vamp-IR dump

Assets 3
Loading

v0.1.0-alpha

22 Feb 17:47
@rokopt rokopt
v0.1.0-alpha
8368536
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.1.0-alpha

First tagged Geb image release, including mod, lt, more explicit type information in some STLC terms, and various bug fixes.

Assets 3
Loading