Skip to content

Dev meeting 2020 07 02

Jon Ludlam edited this page Jul 1, 2020 · 14 revisions

10:00am meeting this time!

Actions from previous meeting

  • @avsm to investigate odig issue on docs.mirage.io
  • @avsm to add toplevel support to merlin's roadmap
  • @jonludlam to find out status of dune build @doc supporting external libs
  • @avsm to post on discuss about plans for replacing ocamldoc plugins

Agenda

Progress report of ongoing activities

  • Model rewrite
  • LaTeX backend