Skip to content

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

  • Published over 1 year ago · Digest
    sha256:752f82b7f56f9a14d9a4f80d8eafab1a494166e19008323de035e10fa3f9a3c3
    160 Version downloads

Loading

Details


Last published

over 1 year ago

Issues

44

Total downloads

170