Partially resolve "Pretty printing of terms"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Partially resolve "Pretty printing of terms"
v-ducros
requested to merge
55-better-pretty-printing-of-terms
into
main
Dec 28, 2022
Overview
12
Commits
17
Pipelines
27
Changes
4
Merge request reports
Loading