jhupllib
A collection of OCaml utilities used by the JHU PL lab

Install

Authors

Maintainers

Sources

0.2.2.tar.gz
md5=8518b1ea79fce913120da2506a597e7b
sha512=57e531641341ee4ab8915fe46558ae84e23004e132d8a37e03969c5f476186578c1347ddf9f78563327cd1c2797ee198621158f4777e1e18cca3da424bf43e53

Description

A collection of OCaml utilities used by the JHU PL lab. These are miscellaneous utilities which did not appear readily in standard libraries when they were written.

Published: 04 Jul 2020

Dev Dependencies (1)

  1. ounit with-test

Used by (1)

  1. pds-reachability

Conflicts

None