Skip to content

herd/legacy

Repository files navigation

herd "legacy" repository

We here provide legacy code from the herd team. This code is not maintenained.

  1. herdtools, an outdated version of the herdtools7 toolbox.

  2. herd-opam-repository, outdated custom OPAM repository for herd packages.