Skip to content

Latest commit

 

History

History
30 lines (25 loc) · 801 Bytes

coq-reduction-effects.opam

File metadata and controls

30 lines (25 loc) · 801 Bytes