diff --git a/dotscape b/dotscape index cad0e82..4e33c67 100755 Binary files a/dotscape and b/dotscape differ diff --git a/fonts/angle-bracket-closed.dsc b/fonts/angle-bracket-closed.dsc new file mode 100644 index 0000000..b4366c0 --- /dev/null +++ b/fonts/angle-bracket-closed.dsc @@ -0,0 +1,14 @@ +x ~0.200000017881 y 0.466666638851 x ~0.0666666701436 y 0.466666638851 x ~0.0666666701436 y 0.333333343267 +x ~0.0666666701436 y 0.333333343267 x ~0.200000017881 y 0.333333343267 x ~0.200000017881 y 0.466666638851 +x 0.0666666701436 y 0.333333343267 x ~0.0666666701436 y 0.333333343267 x ~0.0666666701436 y 0.200000017881 +x ~0.0666666701436 y 0.200000017881 x 0.0666666701436 y 0.200000017881 x 0.0666666701436 y 0.333333343267 +x ~0.200000017881 y ~0.466666638851 x ~0.200000017881 y ~0.333333283663 x ~0.0666666701436 y ~0.333333283663 +x ~0.0666666701436 y ~0.333333283663 x ~0.0666666701436 y ~0.466666638851 x ~0.200000017881 y ~0.466666638851 +x ~0.0666666701436 y ~0.333333283663 x 0.0666666701436 y ~0.333333283663 x 0.0666666701436 y ~0.199999943376 +x 0.0666666701436 y ~0.199999943376 x ~0.0666666701436 y ~0.199999943376 x ~0.0666666701436 y ~0.333333283663 +x 0.0666666701436 y ~0.199999943376 x 0.0666666701436 y ~0.0666667371988 x 0.199999943376 y ~0.0666667371988 +x 0.199999943376 y ~0.0666667371988 x 0.199999943376 y ~0.199999943376 x 0.0666666701436 y ~0.199999943376 +x 0.0666666701436 y 0.200000017881 x 0.0666666701436 y 0.0666666701436 x 0.199999943376 y 0.0666666701436 +x 0.199999943376 y 0.0666666701436 x 0.199999943376 y 0.200000017881 x 0.0666666701436 y 0.200000017881 +x 0.199999943376 y ~0.0666667371988 x 0.199999943376 y 0.0666666701436 x 0.333333283663 y 0.0666666701436 +x 0.333333283663 y 0.0666666701436 x 0.333333283663 y ~0.0666667371988 x 0.199999943376 y ~0.0666667371988 diff --git a/fonts/angle-bracket-open.dsc b/fonts/angle-bracket-open.dsc new file mode 100644 index 0000000..4638f9e --- /dev/null +++ b/fonts/angle-bracket-open.dsc @@ -0,0 +1,14 @@ +x ~0.200000017881 y ~0.0666667371988 x ~0.200000017881 y ~0.199999943376 x ~0.0666666701436 y ~0.199999943376 +x ~0.0666666701436 y ~0.199999943376 x ~0.0666666701436 y ~0.0666667371988 x ~0.200000017881 y ~0.0666667371988 +x ~0.0666666701436 y ~0.199999943376 x 0.0666666701436 y ~0.199999943376 x 0.0666666701436 y ~0.333333283663 +x 0.0666666701436 y ~0.333333283663 x ~0.0666666701436 y ~0.333333283663 x ~0.0666666701436 y ~0.199999943376 +x 0.199999943376 y ~0.466666638851 x 0.199999943376 y ~0.333333283663 x 0.0666666701436 y ~0.333333283663 +x 0.0666666701436 y ~0.333333283663 x 0.0666666701436 y ~0.466666638851 x 0.199999943376 y ~0.466666638851 +x 0.199999943376 y 0.466666638851 x 0.0666666701436 y 0.466666638851 x 0.0666666701436 y 0.333333343267 +x 0.0666666701436 y 0.333333343267 x 0.199999943376 y 0.333333343267 x 0.199999943376 y 0.466666638851 +x ~0.0666666701436 y 0.333333343267 x ~0.0666666701436 y 0.200000017881 x 0.0666666701436 y 0.333333343267 +x ~0.0666666701436 y 0.200000017881 x 0.0666666701436 y 0.200000017881 x 0.0666666701436 y 0.333333343267 +x ~0.0666666701436 y 0.200000017881 x ~0.200000017881 y 0.200000017881 x ~0.200000017881 y 0.0666666701436 +x ~0.200000017881 y 0.0666666701436 x ~0.0666666701436 y 0.0666666701436 x ~0.0666666701436 y 0.200000017881 +x ~0.200000017881 y ~0.0666667371988 x ~0.200000017881 y 0.0666666701436 x ~0.333333343267 y 0.0666666701436 +x ~0.333333343267 y 0.0666666701436 x ~0.333333343267 y ~0.0666667371988 x ~0.200000017881 y ~0.0666667371988 diff --git a/fonts/bracket-closed.dsd b/fonts/bracket-closed.dsd new file mode 100644 index 0000000..71f75f7 --- /dev/null +++ b/fonts/bracket-closed.dsd @@ -0,0 +1,10 @@ +x ~0.200000017881 y ~0.733333289623 x ~0.200000017881 y ~0.599999964237 x ~0.0666666701436 y ~0.599999964237 +x ~0.0666666701436 y ~0.599999964237 x ~0.0666666701436 y ~0.733333289623 x ~0.200000017881 y ~0.733333289623 +x ~0.0666666701436 y ~0.599999964237 x ~0.0666666701436 y ~0.333333283663 x 0.0666666701436 y ~0.333333283663 +x 0.0666666701436 y ~0.333333283663 x 0.0666666701436 y ~0.599999964237 x ~0.0666666701436 y ~0.599999964237 +x 0.199999943376 y ~0.333333283663 x 0.199999943376 y 0.333333343267 x 0.0666666701436 y 0.333333343267 +x 0.0666666701436 y 0.333333343267 x 0.0666666701436 y ~0.333333283663 x 0.199999943376 y ~0.333333283663 +x 0.0666666701436 y 0.333333343267 x 0.0666666701436 y 0.599999964237 x ~0.0666666701436 y 0.599999964237 +x ~0.0666666701436 y 0.599999964237 x ~0.0666666701436 y 0.333333343267 x 0.0666666701436 y 0.333333343267 +x ~0.0666666701436 y 0.599999964237 x ~0.0666666701436 y 0.733333289623 x ~0.200000017881 y 0.733333289623 +x ~0.200000017881 y 0.733333289623 x ~0.200000017881 y 0.599999964237 x ~0.0666666701436 y 0.599999964237 diff --git a/fonts/bracket-open.dsc b/fonts/bracket-open.dsc new file mode 100644 index 0000000..00e6c7e --- /dev/null +++ b/fonts/bracket-open.dsc @@ -0,0 +1,10 @@ +x 0.199999943376 y ~0.733333289623 x 0.199999943376 y ~0.599999964237 x 0.0666666701436 y ~0.599999964237 +x 0.0666666701436 y ~0.599999964237 x 0.0666666701436 y ~0.733333289623 x 0.199999943376 y ~0.733333289623 +x 0.0666666701436 y ~0.599999964237 x 0.0666666701436 y ~0.333333283663 x ~0.0666666701436 y ~0.333333283663 +x ~0.0666666701436 y ~0.333333283663 x ~0.0666666701436 y ~0.599999964237 x 0.0666666701436 y ~0.599999964237 +x ~0.200000017881 y ~0.333333283663 x ~0.200000017881 y 0.333333343267 x ~0.0666666701436 y 0.333333343267 +x ~0.0666666701436 y 0.333333343267 x ~0.0666666701436 y ~0.333333283663 x ~0.200000017881 y ~0.333333283663 +x ~0.0666666701436 y 0.333333343267 x ~0.0666666701436 y 0.599999964237 x 0.0666666701436 y 0.599999964237 +x 0.0666666701436 y 0.599999964237 x 0.0666666701436 y 0.333333343267 x ~0.0666666701436 y 0.333333343267 +x 0.199999943376 y 0.733333289623 x 0.0666666701436 y 0.733333289623 x 0.0666666701436 y 0.599999964237 +x 0.0666666701436 y 0.599999964237 x 0.199999943376 y 0.599999964237 x 0.199999943376 y 0.733333289623 diff --git a/fonts/curly-brace-closed.dsc b/fonts/curly-brace-closed.dsc new file mode 100644 index 0000000..3e96e66 --- /dev/null +++ b/fonts/curly-brace-closed.dsc @@ -0,0 +1,10 @@ +x ~0.333333343267 y ~0.733333289623 x ~0.333333343267 y ~0.599999964237 x ~0.0666666701436 y ~0.599999964237 +x ~0.0666666701436 y ~0.599999964237 x ~0.0666666701436 y ~0.733333289623 x ~0.333333343267 y ~0.733333289623 +x ~0.0666666701436 y ~0.599999964237 x ~0.0666666701436 y ~0.0666667371988 x 0.0666666701436 y ~0.0666667371988 +x 0.0666666701436 y ~0.0666667371988 x 0.0666666701436 y ~0.599999964237 x ~0.0666666701436 y ~0.599999964237 +x 0.333333283663 y ~0.0666667371988 x 0.333333283663 y 0.0666666701436 x 0.0666666701436 y 0.0666666701436 +x 0.0666666701436 y 0.0666666701436 x 0.0666666701436 y ~0.0666667371988 x 0.333333283663 y ~0.0666667371988 +x 0.0666666701436 y 0.0666666701436 x 0.0666666701436 y 0.599999964237 x ~0.0666666701436 y 0.599999964237 +x ~0.0666666701436 y 0.599999964237 x ~0.0666666701436 y 0.0666666701436 x 0.0666666701436 y 0.0666666701436 +x ~0.0666666701436 y 0.599999964237 x ~0.0666666701436 y 0.733333289623 x ~0.333333343267 y 0.733333289623 +x ~0.333333343267 y 0.733333289623 x ~0.333333343267 y 0.599999964237 x ~0.0666666701436 y 0.599999964237 diff --git a/fonts/curly-brace-open.dsc b/fonts/curly-brace-open.dsc new file mode 100644 index 0000000..403c5f9 --- /dev/null +++ b/fonts/curly-brace-open.dsc @@ -0,0 +1,10 @@ +x 0.199999943376 y ~0.733333289623 x ~0.0666666701436 y ~0.733333289623 x ~0.0666666701436 y ~0.599999964237 +x ~0.0666666701436 y ~0.599999964237 x 0.199999943376 y ~0.599999964237 x 0.199999943376 y ~0.733333289623 +x ~0.0666666701436 y ~0.599999964237 x ~0.0666666701436 y ~0.0666667371988 x ~0.200000017881 y ~0.0666667371988 +x ~0.200000017881 y ~0.0666667371988 x ~0.200000017881 y ~0.599999964237 x ~0.0666666701436 y ~0.599999964237 +x ~0.466666668653 y 0.0666666701436 x ~0.200000017881 y 0.0666666701436 x ~0.200000017881 y ~0.0666667371988 +x ~0.200000017881 y ~0.0666667371988 x ~0.466666668653 y ~0.0666667371988 x ~0.466666668653 y 0.0666666701436 +x ~0.200000017881 y 0.0666666701436 x ~0.200000017881 y 0.599999964237 x ~0.0666666701436 y 0.599999964237 +x ~0.0666666701436 y 0.599999964237 x ~0.0666666701436 y 0.0666666701436 x ~0.200000017881 y 0.0666666701436 +x ~0.0666666701436 y 0.599999964237 x ~0.0666666701436 y 0.733333289623 x 0.199999943376 y 0.733333289623 +x 0.199999943376 y 0.733333289623 x 0.199999943376 y 0.599999964237 x ~0.0666666701436 y 0.599999964237 diff --git a/fonts/square-bracket-closed.dsc b/fonts/square-bracket-closed.dsc new file mode 100644 index 0000000..49cfb66 --- /dev/null +++ b/fonts/square-bracket-closed.dsc @@ -0,0 +1,6 @@ +x ~0.200000017881 y ~0.599999964237 x ~0.200000017881 y ~0.733333289623 x 0.0666666701436 y ~0.599999964237 +x 0.0666666701436 y ~0.599999964237 x 0.0666666701436 y ~0.733333289623 x ~0.200000017881 y ~0.733333289623 +x ~0.200000017881 y 0.599999964237 x 0.0666666701436 y 0.599999964237 x 0.0666666701436 y 0.733333289623 +x 0.0666666701436 y 0.733333289623 x ~0.200000017881 y 0.733333289623 x ~0.200000017881 y 0.599999964237 +x 0.0666666701436 y ~0.733333289623 x 0.199999943376 y ~0.733333289623 x 0.199999943376 y 0.733333289623 +x 0.199999943376 y 0.733333289623 x 0.0666666701436 y 0.733333289623 x 0.0666666701436 y ~0.733333289623 diff --git a/fonts/square-bracket-open.dsc b/fonts/square-bracket-open.dsc new file mode 100644 index 0000000..5e9e98a --- /dev/null +++ b/fonts/square-bracket-open.dsc @@ -0,0 +1,6 @@ +x 0.199999943376 y ~0.733333289623 x ~0.0666666701436 y ~0.733333289623 x ~0.0666666701436 y ~0.599999964237 +x ~0.0666666701436 y ~0.599999964237 x 0.199999943376 y ~0.599999964237 x 0.199999943376 y ~0.733333289623 +x 0.199999943376 y 0.599999964237 x ~0.0666666701436 y 0.599999964237 x ~0.0666666701436 y 0.733333289623 +x ~0.0666666701436 y 0.733333289623 x 0.199999943376 y 0.733333289623 x 0.199999943376 y 0.599999964237 +x ~0.0666666701436 y ~0.733333289623 x ~0.200000017881 y ~0.733333289623 x ~0.200000017881 y 0.733333289623 +x ~0.200000017881 y 0.733333289623 x ~0.0666666701436 y 0.733333289623 x ~0.0666666701436 y ~0.733333289623 diff --git a/imperative-shell/file-thread.sml b/imperative-shell/file-thread.sml index 3d943d8..b4266ff 100644 --- a/imperative-shell/file-thread.sml +++ b/imperative-shell/file-thread.sml @@ -11,7 +11,7 @@ struct datatype parse_result = OK of AppType.triangle list | PARSE_ERROR val structureName = "UpperCaseG" - val filename = "fonts/0.dsc" + val filename = "fonts/greater-than.dsc" val exportFilename = "fonts/upper-case-h.sml" fun ndcToLerpX num =