Skip to content
GitLab
Explore
Sign in
Register
Richard Eisenberg
haskell
Merge requests
!4
Draft: Rewrite Quick Look rules according to Fig 7 and 8, Add box and figure support
Code
Review changes
Check out branch
Download
Patches
Plain diff
Artin Ghasivand
requested to merge
Ei30metry/haskell:wip/FigureAndBox
into
master
Nov 29, 2023
Overview
8
Commits
105
Pipelines
19
Changes
9
Expand
Expression and Instantiation rules rewritten, but no support for VDQ, Case and GADTs
Put typing rules inside figures
Explanations not updated yet
Edited
Nov 29, 2023
by
Artin Ghasivand
Merge request reports