Revision d9bcb31921e68eba88e798a68fc366c88c688c36 authored by Roberto Di Cosmo on 23 January 2020, 15:24 UTC, committed by Roberto Di Cosmo on 23 January 2020, 15:24 UTC
1 parent 45a739c
History
File Mode Size
config
example
src
tests
.gitignore -rw-r--r-- 38 bytes
AUTHORS -rw-r--r-- 722 bytes
CHANGES -rw-r--r-- 1.1 KB
LICENSE -rw-r--r-- 25.8 KB
Makefile -rw-r--r-- 439 bytes
README.md -rw-r--r-- 6.3 KB
dune-project -rw-r--r-- 1011 bytes
parmap.opam -rw-r--r-- 1.2 KB

README.md

back to top