search

UQ-PAC / aslp

Partial evaluator for Arm's Architecture Specification Language (ASL)
Other
6 stars 2 forks source link

readme: add instructions to install package with opam #94

Closed katrinafyi closed 2 weeks ago

katrinafyi commented 2 weeks ago

This is necessary to compile OCaml projects dependent on aslp.