Update info

CAG2Mark · Jun 19, 2024 · 4bf52c6 · 4bf52c6
1 parent 8cc51b6
commit 4bf52c6
Show file tree

Hide file tree

Showing 3 changed files with 30 additions and 2 deletions.
diff --git a/about.html b/about.html
@@ -110,7 +110,7 @@ <h2>
 
     <div class="section" id="section-programming">
         <div class="section-content">
-            <div class="info-row-flex info-row-reversed">
+            <div class="info-row-flex">
                 <div class="info-col">
                     <h1>Computer Science and Mathematics</h1>
                     <p>
@@ -186,7 +186,7 @@ <h2>Notable Courses Taken</h2>
                     <h1>Music</h1>
                     <p>
                         I enjoy classical music and play the piano. I don't have any full
-                        recordings to share, as I have only recently started playing seriously. Currently, I have no teacher and play for fun.
+                        recordings to share, as I have only recently started playing seriously. Currently, I have no teacher and play for leisure.
                     </p>
                     <p>
                         I am currently learning Chopin's Fantasy Op. 49 and Polonaise-Fantasy Op.61, and have mostly learnt Ballade No. 1 and No. 4

diff --git a/index.html b/index.html
@@ -239,6 +239,20 @@ <h2>FlyChrono v2</h2>
                     </span>
                 </a>
             </div>
+            <div class="info-row-flex">
+                <h1>Research Work</h1>
+            </div>
+            <div class="info-row-grid">
+                <div class="info-panel">
+                    <h2>MLscript</h2>
+                    <p>
+                        Under HKUST's UROP program, I implemented <a href="https://github.com/hkust-taco/mlscript/pull/218" target="_blank">tail-recursion modulo cons</a> in the
+                        <a href="https://github.com/hkust-taco/mlscript" target="_blank">MLscript programming language</a>.
+                        MLscript is a programming language designed with type inference and soundness in mind and compiles to many targets, including JavaScript. It is developed by
+                        HKUST's <a href="https://cse.hkust.edu.hk/~parreaux/" target="_blank">TACO Lab</a>.
+                    </p>
+                </div>
+            </div>
             <div class="info-row-flex">
                 <h1>Work for Organisations</h1>
             </div>

diff --git a/projects.html b/projects.html
@@ -186,6 +186,20 @@ <h2>Advent of Code Solutions</h2>
                     </span>
                 </a>
             </div>
+            <div class="info-row-flex">
+                <h1>Research Work</h1>
+            </div>
+            <div class="info-row-grid">
+                <div class="info-panel">
+                    <h2>MLscript</h2>
+                    <p>
+                        Under HKUST's UROP program, I implemented <a href="https://github.com/hkust-taco/mlscript/pull/218" target="_blank">tail-recursion modulo cons</a> in the
+                        <a href="https://github.com/hkust-taco/mlscript" target="_blank">MLscript programming language</a>.
+                        MLscript is a programming language designed with type inference and soundness in mind and compiles to many targets, including JavaScript. It is developed by
+                        HKUST's <a href="https://cse.hkust.edu.hk/~parreaux/" target="_blank">TACO Lab</a>.
+                    </p>
+                </div>
+            </div>
             <div class="info-row-flex">
                 <div class="info-col">
                     <h1>Work for Organisations</h1>