#
f94c47aa |
|
08-Oct-2015 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Add {is,mk,dest}_{literal,rat_of_num} to ratSyntax Literals are - injections from :num; or - negated injections from :num; or - one of the above divided by an injection from :num The rat_of_num constant is the injection from :num, and hides behind the q suffix on numerals.
|