CHANGES

## 0.4.0 (dev)

### Changed

- Make type 'OCanren.Std.List.ground' to be 'Stdlib.List.t'. It simplifies some injections.
- Minimal GT version is 0.5.2. We fixed few issues there. With old one a few tests may fail.
- The extension `ppx_distrib` should be used as `[%%ocanren_inject ...]` from now on. We also support mutually recursuve types there.
- Wildcards in unification (camlp5 extension)
- Remove dependecy on `base`

## 0.3.0 (28-04-2022)

### Changed

- ppx_distrib: records support
- remove `base` as a dependecy
- remove linking dependency on mtime. Timer is put to separate ocamlfind package

## 0.3.0-alpha1 (12-02-2022)

### Changed

- Rewrite everyting with Moiseenko-style reifiers
  * Now we use `'a ilogic' type instead of `('a, 'b) injected`.
  * Reification changes: we no longer need FMap1/2/3/etc
	* New `ppx_distrib` to generate reification code
- Requires GT >= 0.5, fresh ppxlib < 0.25


## 0.2.0 (2021-03-04)

### Changed

- Upgrade for OCaml 4.10
- Upgrade for ppxlib 0.22