export 19 symbols

2024-09-23 13:21:11 +01:00
parent 029786e2f1
commit a23a94678f
24 changed files with 1380 additions and 15 deletions
--- a/imperative-shell/file-thread.sml
+++ b/imperative-shell/file-thread.sml
@@ -10,9 +10,9 @@ struct

  datatype parse_result = OK of AppType.triangle list | PARSE_ERROR

-  val structureName = "AsciiNine"
-  val filename = "fonts/9.dsc"
-  val exportFilename = "fonts/ascii-nine.sml"
+  val structureName = "AsciiHash"
+  val filename = "fonts/hash.dsc"
+  val exportFilename = "fonts/ascii-hash.sml"

  fun ndcToLerpX num =
    let