Skip to content
Snippets Groups Projects
Commit 544a9534 authored by Christian Rinderknecht's avatar Christian Rinderknecht
Browse files

Merge branch 'rinderknecht@let_type' into 'dev'

Added pretty-printing of type parameters in CameLIGO.

See merge request !1653
parents 73c3dde2 8c5d932e
Branches
Tags
Loading
Pipeline #513032024 passed with warnings
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment