val x = scala.math.BigInt(0)
val f = false
val st = term"$x > 0 --> $f"
Yes, you've seen correctly. Quasiquotes for Isabelle in Scala.
-
-
Now you've piqued my curiosity.
-
I haven't announced it yet, but it's called "Interpolating Strings Like A Boss".
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.