Skip to content

POPL 18
Compare
Choose a tag to compare
@ajrouvoet ajrouvoet released this 09 Mar 15:29
· 7 commits to master since this release
v1.0.0
4759f2e

Self contained archive of the Middleweight Java development.
Compiles with Agda 2.5.3 and is compatible with the code in the POPL '18 paper.
The binary includes the libraries required to build the development.

Assets 3
Loading