Skip to content

Commit

Permalink
Update /about
Browse files Browse the repository at this point in the history
  • Loading branch information
wasabi315 committed Apr 22, 2024
1 parent 10c52d9 commit 174e6d1
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/pages/about.astro
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ const skills = [
<h2>Education & Academic Experiences</h2>
<ul role="list" class="list">
<li>
Chalmers University of Technology, Exchange study, Aug. 2022 - Jun.
Chalmers University of Technology, Academic Exchange, Aug. 2022 - Jun.
2023
</li>
<li>
Expand All @@ -74,7 +74,7 @@ const skills = [
</div>
<p>
I usually use Haskell for daily programming and Agda for formalizing and
proving things. I also have moderate experience with OCaml, Rust,
proving things. I am also proficient in OCaml, Rust,
TypeScript, and JavaScript.
</p>
</section>
Expand Down

0 comments on commit 174e6d1

Please sign in to comment.