Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Raphaël Cauderlier
dklib
Repository
dklib
dk_binary_nat.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
