Skip to content

Releases: RedPRL/mugen

0.1.0

28 Dec 05:58
@favonia favonia
0.1.0
This tag was signed with the committer’s verified signature. The key has expired.
favonia favonia
GPG key ID: 06210CB7076F1EEC
Expired
Verified
Learn about vigilant mode.
e59bc8f
This commit was signed with the committer’s verified signature. The key has expired.
favonia favonia
GPG key ID: 06210CB7076F1EEC
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
0.1.0 Latest
Latest

POPL 2023 final version + OPAM fixes

This version is almost identical to the POPL 2023 final version except that the typos in the OPAM file were fixed.

Assets 2
Loading