Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
dklib
Repository
dklib
dk_machine_int.dk
Find file
Blame
History
Permalink
[dk_machine_int] aliases for dk_nat constructors in patterns broke the
· 5eb46169
Raphaël Cauderlier
authored
Nov 12, 2013
confluence and prohibited applications of rewrite rules
5eb46169