formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

Automatically generate some required files

Open WhatisRT opened this issue 1 year ago • 0 comments

There are some files that we could generate as part of our build process instead of having them checked into the repo:

  • [ ] agda.sty
  • [ ] Everything in src/latex/fonts

WhatisRT avatar Oct 18 '23 11:10 WhatisRT