summaryrefslogtreecommitdiff
path: root/grammars/numerals/Trans.gf
blob: 4d46bc7f1bc8d244e69be3cead132c95fa767efc (plain)
1
2
3
transfer Trans : Nat -> Nat = {
  transfer Nat = nat2bin ;
}