👋 Hi there

• 🧩 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

🔗 Skills

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"]

💻 Stats