Skip to content

Draft: Rewrite Quick Look rules according to Fig 7 and 8, Add box and figure support

Artin Ghasivand requested to merge Ei30metry/haskell:wip/FigureAndBox into master
  • Expression and Instantiation rules rewritten, but no support for VDQ, Case and GADTs
  • Put typing rules inside figures
  • Explanations not updated yet
Edited by Artin Ghasivand

Merge request reports