Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
dklib
Repository
dklib
dk_machine_int.dk
Find file
Blame
History
Permalink
Move casting function between machine and binary numbers to
· 081460d5
Raphaël Cauderlier
authored
Aug 20, 2015
dk_binary_nat because it is hard to prove confluent and dk_binary_nat is not checked for confluence.
081460d5