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

Add support for record types to CakeML

Open ordinarymath opened this issue 6 months ago • 0 comments

This issue would consist of adding sml style records to CakeML.

ordinarymath avatar Jul 06 '25 14:07 ordinarymath