Skip to content

pure-esop24-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-esop24-artifact:latest

Recent tagged image versions

  • latest
    Published about 1 year ago · Digest
    sha256:3ea1a3076d837e4eb4a6369ea897116e1cdd762b40c4878cb6ec62854aed9751
    76 Version downloads
View all tagged versions

Loading

Details

Last published

1 year ago

Issues

43

Total downloads

79