Humza Shahid acd68a055d code shortcut to trigger export (with <Ctrl-E>); it outputs syntatically valid .sml, but I am not sure if the output is correct as intended so it needs testing

2024-08-30 02:34:24 +01:00

..

draw-msg.sml

preparation for adding new additional threads/mailboxes (namely, the file mailbox)

2024-08-28 20:11:00 +01:00

file-msg.sml

slight renaming of constructors in FileMessage.t datatype, to provide more clarity (SAVE_TRIANGLES is for saving to a custom format, LOAD_TRIANGLES is for loading from a file in that custom format, and export is for generating code from custom format)

2024-08-28 20:47:40 +01:00

input-msg.sml

code shortcut to trigger export (with <Ctrl-E>); it outputs syntatically valid .sml, but I am not sure if the output is correct as intended so it needs testing

2024-08-30 02:34:24 +01:00

update-msg.sml

preparation for adding new additional threads/mailboxes (namely, the file mailbox)

2024-08-28 20:11:00 +01:00