From 4c5df92a0aba84eb1e7d621cc66b1620540919c4 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Fri, 20 Sep 2024 22:29:06 +0100 Subject: [PATCH] generate first 5 upper case letters (A-E) --- dotscape | Bin 1049312 -> 1049312 bytes fonts/a.dsc | 6 -- fonts/a.sml | 51 ----------- fonts/double-quotes.dsc | 4 - fonts/exclamation-mark.dsc | 22 ----- fonts/exclamation-mark.sml | 147 ------------------------------- fonts/hash-symbol.dsc | 10 --- fonts/upper-case-a.dsc | 8 ++ fonts/upper-case-b.dsc | 12 +++ fonts/upper-case-c.dsc | 10 +++ fonts/upper-case-d.dsc | 12 +++ fonts/upper-case-e.dsc | 8 ++ imperative-shell/constants.sml | 2 +- imperative-shell/file-thread.sml | 6 +- 14 files changed, 54 insertions(+), 244 deletions(-) delete mode 100644 fonts/a.dsc delete mode 100644 fonts/a.sml delete mode 100644 fonts/double-quotes.dsc delete mode 100644 fonts/exclamation-mark.dsc delete mode 100644 fonts/exclamation-mark.sml delete mode 100644 fonts/hash-symbol.dsc create mode 100644 fonts/upper-case-a.dsc create mode 100644 fonts/upper-case-b.dsc create mode 100644 fonts/upper-case-c.dsc create mode 100644 fonts/upper-case-d.dsc create mode 100644 fonts/upper-case-e.dsc diff --git a/dotscape b/dotscape index 2fb74ea93edf49cd152f8c2c5bc446830933b015..a348c99edce30ce3c484cf4de09db767da20ae8e 100755 GIT binary patch delta 479 zcmaFR>hPe|VZ#+Bk;RE}!Ivwn4}>O3hvZh4&PX;`z~B6WY5NN%M#lg_1BSu`DaMe8 z%nVvgH4c;Gb+%gtGuAVL#1+mlfW?`C;`KV)PlYhf28$nHKv7>7#+c720aX9s2(o&H zk1v4y`00+pjKbRmA{b-&8Fi-Tr89~%>a@3|Gj4B7XG)F+3cWhSw1}yRaeCijCVfVo z?fVWh$%`{;Y`=GliJM7Ohv6fK22)6VMZ%u?T?~5@vKn^E>rDT5hshhL#Op3oJC7;Q zVulci#SjlLeDpZL7;@$RfAPzQm@Xzva@Z*ka$FFyn(b__n3~u?)^>ehY6rSP=p)l9 z5cl3kuq*gJF>PkI25L*-WC(e{%&4UV4jYD#Cma|{9vF&Kf2E^<@%&}dsj#Imb(RF(i7uOaJ#?pnbAF7Z7s;F%J;)0x{qA$@=`hmjUNLqQC$E delta 479 zcmaFR>hPe|VZ#+Bk?#KaxtG2Fcq%NP_GMa6O;;47j85|lrtL477##xya~KK}q!>dU zGBao~)i_L!&)9Ai%vjF|5?46K02XHkiq~gsKNZ3_8!Uc+0Y!aT7-K%81W^5hBgpC* zKE43*(O(;}uM=IMQhne-Vm zw(mR4BrndGvi;sICT=Ft42F*!8cZSe6$yLlcQNcu$ZFUrpE3R49VTy}60f^V?L4MH ziy1;77DGJ1@X_M{W5|{N|HUsKV!D_x$zi8F$Z$L&#ETw6F86SwmVbCoj#>2@(L dZb`-q?UVJnfS4PId4QM~i21fp*5~)V3;-60s)GOk diff --git a/fonts/a.dsc b/fonts/a.dsc deleted file mode 100644 index 492cddb..0000000 --- a/fonts/a.dsc +++ /dev/null @@ -1,6 +0,0 @@ -x ~0.34999999404 y ~0.34999999404 x 0.34999999404 y ~0.34999999404 x 0.300000011921 y ~0.10000000149 -x ~0.300000011921 y ~0.10000000149 x 0.300000011921 y ~0.10000000149 x ~0.34999999404 y ~0.34999999404 -x ~0.10000000149 y 1 x 0.20000000298 y 1 x 0.800000011921 y ~0.800000011921 -x 0.800000011921 y ~0.800000011921 x 0.5 y ~0.800000011921 x ~0.10000000149 y 1 -x 0.10000000149 y 1 x ~0.20000000298 y 1 x ~0.800000011921 y ~0.800000011921 -x ~0.800000011921 y ~0.800000011921 x ~0.5 y ~0.800000011921 x 0.10000000149 y 1 diff --git a/fonts/a.sml b/fonts/a.sml deleted file mode 100644 index 26cb546..0000000 --- a/fonts/a.sml +++ /dev/null @@ -1,51 +0,0 @@ -structure UpperCaseA = -struct - fun lerp (startX, startY, drawWidth, drawHeight, windowWidth, windowHeight) : Real32.real vector = - let - val startX = Real32.fromInt startX - val startY = Real32.fromInt startY - val endY = windowHeight - startY - val startY = windowHeight - (startY + drawHeight) - val endX = startX + drawWidth - val windowHeight = windowHeight / 2.0 - val windowWidth = windowWidth / 2.0 - in - #[ (((startX * (1.0 - 0.324999988079)) + (endX * 0.324999988079)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.324999988079)) + (endY * 0.324999988079)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.675000011921)) + (endX * 0.675000011921)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.324999988079)) + (endY * 0.324999988079)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.649999976158)) + (endX * 0.649999976158)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.449999988079)) + (endY * 0.449999988079)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.34999999404)) + (endX * 0.34999999404)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.449999988079)) + (endY * 0.449999988079)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.649999976158)) + (endX * 0.649999976158)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.449999988079)) + (endY * 0.449999988079)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.324999988079)) + (endX * 0.324999988079)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.324999988079)) + (endY * 0.324999988079)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.449999988079)) + (endX * 0.449999988079)) / windowWidth) - 1.0, - (((startY * (1.0 - 1.0)) + (endY * 1.0)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.600000023842)) + (endX * 0.600000023842)) / windowWidth) - 1.0, - (((startY * (1.0 - 1.0)) + (endY * 1.0)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.899999976158)) + (endX * 0.899999976158)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.0999999940395)) + (endY * 0.0999999940395)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.899999976158)) + (endX * 0.899999976158)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.0999999940395)) + (endY * 0.0999999940395)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.75)) + (endX * 0.75)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.0999999940395)) + (endY * 0.0999999940395)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.449999988079)) + (endX * 0.449999988079)) / windowWidth) - 1.0, - (((startY * (1.0 - 1.0)) + (endY * 1.0)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.550000011921)) + (endX * 0.550000011921)) / windowWidth) - 1.0, - (((startY * (1.0 - 1.0)) + (endY * 1.0)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.40000000596)) + (endX * 0.40000000596)) / windowWidth) - 1.0, - (((startY * (1.0 - 1.0)) + (endY * 1.0)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.0999999940395)) + (endX * 0.0999999940395)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.0999999940395)) + (endY * 0.0999999940395)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.0999999940395)) + (endX * 0.0999999940395)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.0999999940395)) + (endY * 0.0999999940395)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.25)) + (endX * 0.25)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.0999999940395)) + (endY * 0.0999999940395)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.550000011921)) + (endX * 0.550000011921)) / windowWidth) - 1.0, - (((startY * (1.0 - 1.0)) + (endY * 1.0)) / windowHeight) - 1.0 - ] - end -end \ No newline at end of file diff --git a/fonts/double-quotes.dsc b/fonts/double-quotes.dsc deleted file mode 100644 index 6d3d86b..0000000 --- a/fonts/double-quotes.dsc +++ /dev/null @@ -1,4 +0,0 @@ -x 0.200000107288 y 0.900000035763 x 0.400000065565 y 0.900000035763 x 0.400000065565 y 0.299999952316 -x 0.200000107288 y 0.299999952316 x 0.400000065565 y 0.299999952316 x 0.200000107288 y 0.900000035763 -x ~0.199999973178 y 0.299999952316 x ~0.399999946356 y 0.299999952316 x ~0.399999946356 y 0.900000035763 -x ~0.199999973178 y 0.900000035763 x ~0.399999946356 y 0.900000035763 x ~0.199999973178 y 0.299999952316 diff --git a/fonts/exclamation-mark.dsc b/fonts/exclamation-mark.dsc deleted file mode 100644 index 19424e2..0000000 --- a/fonts/exclamation-mark.dsc +++ /dev/null @@ -1,22 +0,0 @@ -x 0.0666666179895 y ~0.653333246708 x 0.0399999469519 y ~0.626666605473 x 0.0399999469519 y ~0.653333246708 -x ~0.0666666179895 y ~0.653333246708 x ~0.0400000661612 y ~0.653333246708 x ~0.0400000661612 y ~0.626666605473 -x 0 y ~0.61333334446 x 0.0266666710377 y ~0.61333334446 x 0.0266666710377 y ~0.626666605473 -x ~0.0266666710377 y ~0.626666605473 x ~0.0266666710377 y ~0.61333334446 x 0 y ~0.61333334446 -x 0.0666666179895 y ~0.759999930859 x 0.0666666179895 y ~0.746666550636 x ~0.0666666179895 y ~0.746666550636 -x ~0.0666666179895 y ~0.746666550636 x ~0.0666666179895 y ~0.759999930859 x 0.0666666179895 y ~0.759999930859 -x 0.0266666710377 y ~0.786666631699 x 0.0266666710377 y ~0.773333251476 x ~0.0266666710377 y ~0.773333251476 -x ~0.0266666710377 y ~0.773333251476 x ~0.0266666710377 y ~0.786666631699 x 0.0266666710377 y ~0.786666631699 -x ~0.0750000029802 y ~0.725000023842 x ~0.0750000029802 y ~0.75 x ~0.0500000007451 y ~0.75 -x ~0.0500000007451 y ~0.649999976158 x ~0.0750000029802 y ~0.649999976158 x ~0.0750000029802 y ~0.675000011921 -x ~0.0250000003725 y ~0.625 x ~0.0500000007451 y ~0.625 x ~0.0500000007451 y ~0.649999976158 -x 0.0500000007451 y ~0.649999976158 x 0.0500000007451 y ~0.625 x 0.0250000003725 y ~0.625 -x 0.0750000029802 y ~0.675000011921 x 0.0750000029802 y ~0.649999976158 x 0.0500000007451 y ~0.649999976158 -x 0.0500000007451 y ~0.75 x 0.0750000029802 y ~0.75 x 0.0750000029802 y ~0.725000023842 -x 0.0250000003725 y ~0.774999976158 x 0.0500000007451 y ~0.774999976158 x 0.0500000007451 y ~0.75 -x ~0.0500000007451 y ~0.774999976158 x ~0.0500000007451 y ~0.75 x ~0.0250000003725 y ~0.774999976158 -x 0 y ~0.600000023842 x ~0.100000046194 y ~0.700000107288 x 0 y ~0.800000011921 -x 0 y ~0.800000011921 x 0.100000046194 y ~0.700000107288 x 0 y ~0.600000023842 -x 0.10000000149 y ~0.40000000596 x 0.20000000298 y 0.5 x ~0.20000000298 y 0.5 -x ~0.20000000298 y 0.5 x ~0.10000000149 y ~0.40000000596 x 0.10000000149 y ~0.40000000596 -x ~0.20000000298 y 0.5 x 0.20000000298 y 0.5 x 0.20000000298 y 1 -x ~0.20000000298 y 1 x 0.20000000298 y 1 x ~0.20000000298 y 0.5 diff --git a/fonts/exclamation-mark.sml b/fonts/exclamation-mark.sml deleted file mode 100644 index 61a837f..0000000 --- a/fonts/exclamation-mark.sml +++ /dev/null @@ -1,147 +0,0 @@ -structure ExclamationMark = -struct - fun lerp (startX, startY, drawWidth, drawHeight, windowWidth, windowHeight) : Real32.real vector = - let - val startX = Real32.fromInt startX - val startY = Real32.fromInt startY - val endY = windowHeight - startY - val startY = windowHeight - (startY + drawHeight) - val endX = startX + drawWidth - val windowHeight = windowHeight / 2.0 - val windowWidth = windowWidth / 2.0 - in - #[ (((startX * (1.0 - 0.533333301544)) + (endX * 0.533333301544)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.173333376646)) + (endY * 0.173333376646)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.519999980927)) + (endX * 0.519999980927)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.186666697264)) + (endY * 0.186666697264)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.519999980927)) + (endX * 0.519999980927)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.173333376646)) + (endY * 0.173333376646)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.466666698456)) + (endX * 0.466666698456)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.173333376646)) + (endY * 0.173333376646)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.479999959469)) + (endX * 0.479999959469)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.173333376646)) + (endY * 0.173333376646)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.479999959469)) + (endX * 0.479999959469)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.186666697264)) + (endY * 0.186666697264)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.5)) + (endX * 0.5)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.19333332777)) + (endY * 0.19333332777)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.513333320618)) + (endX * 0.513333320618)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.19333332777)) + (endY * 0.19333332777)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.513333320618)) + (endX * 0.513333320618)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.186666697264)) + (endY * 0.186666697264)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.486666679382)) + (endX * 0.486666679382)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.186666697264)) + (endY * 0.186666697264)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.486666679382)) + (endX * 0.486666679382)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.19333332777)) + (endY * 0.19333332777)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.5)) + (endX * 0.5)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.19333332777)) + (endY * 0.19333332777)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.533333301544)) + (endX * 0.533333301544)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.120000034571)) + (endY * 0.120000034571)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.533333301544)) + (endX * 0.533333301544)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.126666724682)) + (endY * 0.126666724682)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.466666698456)) + (endX * 0.466666698456)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.126666724682)) + (endY * 0.126666724682)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.466666698456)) + (endX * 0.466666698456)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.126666724682)) + (endY * 0.126666724682)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.466666698456)) + (endX * 0.466666698456)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.120000034571)) + (endY * 0.120000034571)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.533333301544)) + (endX * 0.533333301544)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.120000034571)) + (endY * 0.120000034571)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.513333320618)) + (endX * 0.513333320618)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.106666684151)) + (endY * 0.106666684151)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.513333320618)) + (endX * 0.513333320618)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.113333374262)) + (endY * 0.113333374262)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.486666679382)) + (endX * 0.486666679382)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.113333374262)) + (endY * 0.113333374262)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.486666679382)) + (endX * 0.486666679382)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.113333374262)) + (endY * 0.113333374262)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.486666679382)) + (endX * 0.486666679382)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.106666684151)) + (endY * 0.106666684151)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.513333320618)) + (endX * 0.513333320618)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.106666684151)) + (endY * 0.106666684151)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.46250000596)) + (endX * 0.46250000596)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.137499988079)) + (endY * 0.137499988079)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.46250000596)) + (endX * 0.46250000596)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.125)) + (endY * 0.125)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.47499999404)) + (endX * 0.47499999404)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.125)) + (endY * 0.125)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.47499999404)) + (endX * 0.47499999404)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.175000011921)) + (endY * 0.175000011921)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.46250000596)) + (endX * 0.46250000596)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.175000011921)) + (endY * 0.175000011921)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.46250000596)) + (endX * 0.46250000596)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.16249999404)) + (endY * 0.16249999404)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.487500011921)) + (endX * 0.487500011921)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.1875)) + (endY * 0.1875)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.47499999404)) + (endX * 0.47499999404)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.1875)) + (endY * 0.1875)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.47499999404)) + (endX * 0.47499999404)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.175000011921)) + (endY * 0.175000011921)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.524999976158)) + (endX * 0.524999976158)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.175000011921)) + (endY * 0.175000011921)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.524999976158)) + (endX * 0.524999976158)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.1875)) + (endY * 0.1875)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.512499988079)) + (endX * 0.512499988079)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.1875)) + (endY * 0.1875)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.537500023842)) + (endX * 0.537500023842)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.16249999404)) + (endY * 0.16249999404)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.537500023842)) + (endX * 0.537500023842)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.175000011921)) + (endY * 0.175000011921)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.524999976158)) + (endX * 0.524999976158)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.175000011921)) + (endY * 0.175000011921)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.524999976158)) + (endX * 0.524999976158)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.125)) + (endY * 0.125)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.537500023842)) + (endX * 0.537500023842)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.125)) + (endY * 0.125)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.537500023842)) + (endX * 0.537500023842)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.137499988079)) + (endY * 0.137499988079)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.512499988079)) + (endX * 0.512499988079)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.112500011921)) + (endY * 0.112500011921)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.524999976158)) + (endX * 0.524999976158)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.112500011921)) + (endY * 0.112500011921)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.524999976158)) + (endX * 0.524999976158)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.125)) + (endY * 0.125)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.47499999404)) + (endX * 0.47499999404)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.112500011921)) + (endY * 0.112500011921)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.47499999404)) + (endX * 0.47499999404)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.125)) + (endY * 0.125)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.487500011921)) + (endX * 0.487500011921)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.112500011921)) + (endY * 0.112500011921)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.5)) + (endX * 0.5)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.199999988079)) + (endY * 0.199999988079)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.449999988079)) + (endX * 0.449999988079)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.149999946356)) + (endY * 0.149999946356)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.5)) + (endX * 0.5)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.0999999940395)) + (endY * 0.0999999940395)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.5)) + (endX * 0.5)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.0999999940395)) + (endY * 0.0999999940395)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.550000011921)) + (endX * 0.550000011921)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.149999946356)) + (endY * 0.149999946356)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.5)) + (endX * 0.5)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.199999988079)) + (endY * 0.199999988079)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.550000011921)) + (endX * 0.550000011921)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.300000011921)) + (endY * 0.300000011921)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.600000023842)) + (endX * 0.600000023842)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.75)) + (endY * 0.75)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.40000000596)) + (endX * 0.40000000596)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.75)) + (endY * 0.75)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.40000000596)) + (endX * 0.40000000596)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.75)) + (endY * 0.75)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.449999988079)) + (endX * 0.449999988079)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.300000011921)) + (endY * 0.300000011921)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.550000011921)) + (endX * 0.550000011921)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.300000011921)) + (endY * 0.300000011921)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.40000000596)) + (endX * 0.40000000596)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.75)) + (endY * 0.75)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.600000023842)) + (endX * 0.600000023842)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.75)) + (endY * 0.75)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.600000023842)) + (endX * 0.600000023842)) / windowWidth) - 1.0, - (((startY * (1.0 - 1.0)) + (endY * 1.0)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.40000000596)) + (endX * 0.40000000596)) / windowWidth) - 1.0, - (((startY * (1.0 - 1.0)) + (endY * 1.0)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.600000023842)) + (endX * 0.600000023842)) / windowWidth) - 1.0, - (((startY * (1.0 - 1.0)) + (endY * 1.0)) / windowHeight) - 1.0, - (((startX * (1.0 - 0.40000000596)) + (endX * 0.40000000596)) / windowWidth) - 1.0, - (((startY * (1.0 - 0.75)) + (endY * 0.75)) / windowHeight) - 1.0 - ] - end -end \ No newline at end of file diff --git a/fonts/hash-symbol.dsc b/fonts/hash-symbol.dsc deleted file mode 100644 index 5a4476a..0000000 --- a/fonts/hash-symbol.dsc +++ /dev/null @@ -1,10 +0,0 @@ -x ~0.699999988079 y 0.299999952316 x 0.900000095367 y 0.299999952316 x 0.900000095367 y 0.5 -x 0.900000095367 y 0.5 x ~0.699999988079 y 0.5 x ~0.699999988079 y 0.299999952316 -x 0.700000107288 y ~0.200000107288 x 0.700000107288 y ~0.400000065565 x ~0.900000035763 y ~0.400000065565 -x ~0.900000035763 y ~0.400000065565 x ~0.900000035763 y ~0.200000107288 x 0.700000107288 y ~0.200000107288 -x 0.300000011921 y ~0.800000011921 x 0.100000053644 y ~0.800000011921 x 0.600000023842 y 0.900000035763 -x 0.800000011921 y 0.900000035763 x 0.600000023842 y 0.900000035763 x 0.300000011921 y ~0.800000011921 -x ~0.099999986589 y 0.900000035763 x ~0.599999964237 y ~0.800000011921 x ~0.800000011921 y ~0.800000011921 -x ~0.800000011921 y ~0.800000011921 x ~0.299999952316 y 0.900000035763 x ~0.099999986589 y 0.900000035763 -x ~0.800000011921 y ~0.800000011921 x ~0.800000011921 y ~0.800000011921 x ~0.199999973178 y 1 -x ~0.800000011921 y ~0.800000011921 x ~0.5 y 1 x ~0.800000011921 y ~0.800000011921 diff --git a/fonts/upper-case-a.dsc b/fonts/upper-case-a.dsc new file mode 100644 index 0000000..2bf0fd8 --- /dev/null +++ b/fonts/upper-case-a.dsc @@ -0,0 +1,8 @@ +x ~0.272727310658 y ~0.272727310658 x 0.272727310658 y ~0.272727310658 x 0.272727310658 y ~0.0909090563655 +x 0.272727310658 y ~0.0909090563655 x ~0.272727310658 y ~0.0909090563655 x ~0.272727310658 y ~0.272727310658 +x 0.454545408487 y ~0.818181753159 x 0.454545408487 y 0.454545468092 x 0.272727310658 y 0.454545468092 +x 0.272727310658 y 0.454545468092 x 0.272727310658 y ~0.818181753159 x 0.454545408487 y ~0.818181753159 +x ~0.454545468092 y ~0.818181753159 x ~0.454545468092 y 0.454545468092 x ~0.272727310658 y 0.454545468092 +x ~0.272727310658 y 0.454545468092 x ~0.272727310658 y ~0.818181753159 x ~0.454545468092 y ~0.818181753159 +x 0.272727310658 y 0.454545468092 x 0.272727310658 y 0.636363625526 x ~0.272727310658 y 0.636363625526 +x ~0.272727310658 y 0.636363625526 x ~0.272727310658 y 0.454545468092 x 0.272727310658 y 0.454545468092 diff --git a/fonts/upper-case-b.dsc b/fonts/upper-case-b.dsc new file mode 100644 index 0000000..e61ac92 --- /dev/null +++ b/fonts/upper-case-b.dsc @@ -0,0 +1,12 @@ +x 0.454545408487 y ~0.636363506317 x 0.272727310658 y ~0.636363506317 x 0.272727310658 y ~0.0909090563655 +x 0.272727310658 y ~0.0909090563655 x 0.454545408487 y ~0.0909090563655 x 0.454545408487 y ~0.636363506317 +x ~0.272727310658 y ~0.0909090563655 x ~0.272727310658 y 0.0909091234207 x 0.272727310658 y 0.0909091234207 +x 0.272727310658 y 0.0909091234207 x 0.272727310658 y ~0.0909090563655 x ~0.272727310658 y ~0.0909090563655 +x 0.454545408487 y 0.0909091234207 x 0.454545408487 y 0.454545468092 x 0.272727310658 y 0.454545468092 +x 0.272727310658 y 0.454545468092 x 0.272727310658 y 0.0909091234207 x 0.454545408487 y 0.0909091234207 +x 0.272727310658 y 0.454545468092 x ~0.272727310658 y 0.454545468092 x ~0.272727310658 y 0.636363625526 +x ~0.272727310658 y 0.636363625526 x 0.272727310658 y 0.636363625526 x 0.272727310658 y 0.454545468092 +x ~0.272727310658 y 0.636363625526 x ~0.272727310658 y ~0.636363506317 x ~0.454545468092 y ~0.636363506317 +x ~0.454545468092 y ~0.636363506317 x ~0.454545468092 y 0.636363625526 x ~0.272727310658 y 0.636363625526 +x 0.272727310658 y ~0.636363506317 x ~0.454545468092 y ~0.636363506317 x ~0.454545468092 y ~0.818181753159 +x ~0.454545468092 y ~0.818181753159 x 0.272727310658 y ~0.818181753159 x 0.272727310658 y ~0.636363506317 diff --git a/fonts/upper-case-c.dsc b/fonts/upper-case-c.dsc new file mode 100644 index 0000000..7e48480 --- /dev/null +++ b/fonts/upper-case-c.dsc @@ -0,0 +1,10 @@ +x 0.454545408487 y 0.272727310658 x 0.272727310658 y 0.272727310658 x 0.272727310658 y 0.454545468092 +x 0.272727310658 y 0.454545468092 x 0.454545408487 y 0.454545468092 x 0.454545408487 y 0.272727310658 +x 0.272727310658 y 0.636363625526 x 0.272727310658 y 0.454545468092 x ~0.272727310658 y 0.454545468092 +x ~0.272727310658 y 0.454545468092 x ~0.272727310658 y 0.636363625526 x 0.272727310658 y 0.636363625526 +x ~0.454545468092 y 0.454545468092 x ~0.272727310658 y 0.454545468092 x ~0.272727310658 y ~0.636363506317 +x ~0.272727310658 y ~0.636363506317 x ~0.454545468092 y ~0.636363506317 x ~0.454545468092 y 0.454545468092 +x ~0.272727310658 y ~0.636363506317 x 0.272727310658 y ~0.636363506317 x 0.272727310658 y ~0.818181753159 +x 0.272727310658 y ~0.818181753159 x ~0.272727310658 y ~0.818181753159 x ~0.272727310658 y ~0.636363506317 +x 0.272727310658 y ~0.454545408487 x 0.272727310658 y ~0.636363506317 x 0.454545408487 y ~0.636363506317 +x 0.454545408487 y ~0.636363506317 x 0.454545408487 y ~0.454545408487 x 0.272727310658 y ~0.454545408487 diff --git a/fonts/upper-case-d.dsc b/fonts/upper-case-d.dsc new file mode 100644 index 0000000..7e8a9c8 --- /dev/null +++ b/fonts/upper-case-d.dsc @@ -0,0 +1,12 @@ +x 0.454545408487 y 0.272727310658 x 0.272727310658 y 0.272727310658 x 0.272727310658 y ~0.454545408487 +x 0.272727310658 y ~0.454545408487 x 0.454545408487 y ~0.454545408487 x 0.454545408487 y 0.272727310658 +x 0.272727310658 y ~0.454545408487 x 0.0909090563655 y ~0.636363506317 x 0.272727310658 y ~0.636363506317 +x 0.0909090563655 y ~0.636363506317 x 0.0909090563655 y ~0.454545408487 x 0.272727310658 y ~0.454545408487 +x 0.272727310658 y 0.272727310658 x 0.0909090563655 y 0.272727310658 x 0.0909090563655 y 0.454545468092 +x 0.0909090563655 y 0.454545468092 x 0.272727310658 y 0.454545468092 x 0.272727310658 y 0.272727310658 +x 0.0909090563655 y 0.454545468092 x ~0.272727310658 y 0.454545468092 x ~0.272727310658 y 0.636363625526 +x ~0.272727310658 y 0.636363625526 x 0.0909090563655 y 0.636363625526 x 0.0909090563655 y 0.454545468092 +x 0.0909090563655 y ~0.636363506317 x ~0.272727310658 y ~0.636363506317 x ~0.272727310658 y ~0.818181753159 +x ~0.272727310658 y ~0.818181753159 x 0.0909090563655 y ~0.818181753159 x 0.0909090563655 y ~0.636363506317 +x ~0.272727310658 y 0.636363625526 x ~0.272727310658 y ~0.818181753159 x ~0.454545468092 y ~0.818181753159 +x ~0.454545468092 y ~0.818181753159 x ~0.454545468092 y 0.636363625526 x ~0.272727310658 y 0.636363625526 diff --git a/fonts/upper-case-e.dsc b/fonts/upper-case-e.dsc new file mode 100644 index 0000000..7d6ffc7 --- /dev/null +++ b/fonts/upper-case-e.dsc @@ -0,0 +1,8 @@ +x ~0.272727310658 y 0.636363625526 x ~0.272727310658 y 0.454545468092 x 0.454545408487 y 0.454545468092 +x ~0.272727310658 y 0.636363625526 x 0.454545408487 y 0.636363625526 x 0.454545408487 y 0.454545468092 +x ~0.272727310658 y ~0.0909090563655 x ~0.272727310658 y 0.0909091234207 x 0.272727310658 y 0.0909091234207 +x ~0.272727310658 y ~0.0909090563655 x 0.272727310658 y 0.0909091234207 x 0.272727310658 y ~0.0909090563655 +x ~0.454545468092 y ~0.636363506317 x ~0.272727310658 y ~0.636363506317 x ~0.272727310658 y 0.636363625526 +x ~0.454545468092 y ~0.636363506317 x ~0.454545468092 y 0.636363625526 x ~0.272727310658 y 0.636363625526 +x 0.454545408487 y ~0.636363506317 x 0.454545408487 y ~0.818181753159 x ~0.454545468092 y ~0.818181753159 +x ~0.454545468092 y ~0.818181753159 x ~0.454545468092 y ~0.636363506317 x 0.454545408487 y ~0.636363506317 diff --git a/imperative-shell/constants.sml b/imperative-shell/constants.sml index 1c19805..69ae6a3 100644 --- a/imperative-shell/constants.sml +++ b/imperative-shell/constants.sml @@ -2,7 +2,7 @@ structure Constants = struct val windowWidth = 1000 val windowHeight = 900 - val initialNumClickPoints = 26 + val initialNumClickPoints = 11 val graphVertexShaderString = "#version 300 es\n\ diff --git a/imperative-shell/file-thread.sml b/imperative-shell/file-thread.sml index 7828d95..4cda94b 100644 --- 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 = "UpperCaseA" - val filename = "fonts/a.dsc" - val exportFilename = "fonts/a.sml" + val structureName = "UpperCaseF" + val filename = "fonts/upper-case-f.dsc" + val exportFilename = "fonts/upper-case-f.sml" fun ndcToLerpX num = let