ocamlc.where « _build « proof « lista5 « pf « semestr-3 - wmiuwr.git - My university solutions, lists and stuff. If you want to thank me for my notes, then buy me a craft beer (preferably IPA or baltic porter). Or just say *thank you* when we meet :)

about summary refs log tree commit diff

path: root/semestr-3/pf/lista5/proof/_build/ocamlc.where

blob: 49511f053fb1fa5c05a80798d694779fa2edee31 (plain)

1	`/home/fmalinka/.opam/4.11.1/lib/ocaml`