Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
typing
typer.ml
Find file
Blame
History
Permalink
fix a typo in the error message of refernces (BUG#45)
· e8b84eb5
Kim Nguyễn
authored
Nov 15, 2015
e8b84eb5