Mon 9 Sep 2024

§Mon

https://srl.cs.jhu.edu/pubs/SRL2003-02.pdf

§commented on Roy’s project proposal

1. DONE second year report

2. cabal to opam translation

§Wed

§second year report

§KILL read http://www.chriswarbo.net/projects/nixos/nix_dependencies.html

§created https://github.com/RyanGibb/ocaml-purl

§Thu

§second year report

§Fri

§got cabal2opam working! tomorrow: we try with a full repository