[isabelle] Target language bindings for rat
I am looking for bindings of rational numbers to the target languages of the code
generator. Has anyone done something in this direction? E.g., something analogous to
Code_Numeral.integer and Code_Target_Int.thy?
Haskell and OCaml support arbitrary-precision rational numbers in their libraries
(Rational and Num.num) and there is a library for Scala (https://github.com/non/spire),
but I have not found anything for SML. Does anyone know of such a library for SML?
This archive was generated by a fusion of
Pipermail (Mailman edition) and