OCaml Forge

File Release Notes and Changelog

Release Name: 1.2

Change Log

Improved efficiency (the example adder4 is now tractable!)