cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard
verified publisher icon CakeML

Add General.exnMessage to CakeML

Open ordinarymath opened this issue 4 months ago • 0 comments

This will probably be done by setting up the extensible pretty printer for exceptions and then exporting it.

ordinarymath avatar Sep 08 '25 03:09 ordinarymath