- 🧩 The best like character is Himeno Sena(姬野星奏) and Arimura Romi(有村ロミ)
- 🌱 I'm currently learning Idris2 and Type Theory
- 👯 Blog: HotaruBlog
- 📫 Email：me@hotaru.icu
- 💬 Dream: Immigrate to Japan
record Skills where
constructor MkSkills
languages : List String
operationSystems : List String
storages : List String
framework : List String
frontFrameworks : List String
skills : Skills
skills = MkSkills
["TypeScript", "Rust", "C", "Haskell", "Ocaml", "Python", "Lua", "PHP"]
["Linux", "Windows"]
["SQLite", "MySQL"]
["NestJs", "Rocket.rs", "Tauri", "Leptos", "Laravel"]
["Solid", "React", "Angular", "Lit", "Vue3"]