CHANGES.md 556 Bytes
Newer Older
POTTIER Francois's avatar
POTTIER Francois committed
1
2
# Changes

POTTIER Francois's avatar
POTTIER Francois committed
3
4
5
6
7
8
9
10
11
12
## 2020/10/01

* Change the signature `SolverSig.OUTPUT` so as to make `tyvar` an abstract
  type. An injection function `solver_tyvar : int -> tyvar` is introduced.

* Add n-ary products to the System F demo.
  (Contributed by Gabriel Scherer and Olivier Martinot.)

* Some cleanup in the directory structure.

POTTIER Francois's avatar
POTTIER Francois committed
13
14
15
16
17
18
19
20
21
## 2019/09/24

* Use `dune` instead of `ocamlbuild`. All necessary library files
  should now be properly installed (which was not the case in the
  previous version).

## 2018/04/05

* First release of Inferno as an `opam` package.