Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
Sigmaid
Repository
sigmaid
dk_type.dk
Find file
Blame
History
Permalink
Removing underscore for compatibility with dev branch of dedukti +
· 817423db
Raphaël Cauderlier
authored
May 07, 2014
remove the non-confluent rule A <: A --> true
817423db