Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
Sigmaid
Repository
sigmaid
dk_char.dk
Find file
Blame
History
Permalink
Adapt to new Dedukti syntax (Dedukti version 2.4)
· 07fe59ef
Raphaël Cauderlier
authored
Aug 27, 2015
07fe59ef