pure-pldi23-artifact latest Public Latest
A verified compiler for a lazy functional language
Install from the command line
Learn more about packages
$ docker pull ghcr.io/cakeml/pure-pldi23-artifact:latest
Recent tagged image versions
- 160 Version downloads
Loading
Sorry, something went wrong.
Last published
almost 2 years ago
Issues
43
Total downloads