Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
ligolang
LIGO
Repository
ligo
src
passes
10-checking
pattern_matching.ml
Find file
Blame
History
Permalink
fixing a bug in pattern_matching.ml substitution
· 5d669954
Rémi
authored
Apr 26, 2022
5d669954