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".
-
-
Now you've lost me. I thought you were talking about Isabelle.
-
I thought that might have been what was responsible for the piquing... ;)
- 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.