Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
inferno
Merge requests
!45
Improve the printing of n-ary abstraction and type abstraction.
Code
Review changes
Check out branch
Download
Patches
Plain diff
MARTINOT Olivier
requested to merge
omartino/inferno:n-ary-fun-printing
into
master
Nov 18, 2022
Overview
3
Commits
1
Pipelines
3
Changes
3
Expand
Merge request reports