feat: new profile

Author: satler-git

content/_index.md

@@ -10,15 +10,18 @@ satler(`/ˈsatrɑː/`、SAMPA: `/"satrA:/`)。趣味のデベロッパー。ど
 ## やってる言語
 
 - Rust
-- Elixir
-- Haskell
+- (Elixir)
+- (Haskell)
+- (Lean)
+- (OcaML)
 - Nix
     - [dotfiles](https://github.com/satler-git/dotfiles)
-- Engish
+- English
 
 ## Some accounts
 
 - `satler-git`@[Github](https://github.com/satler-git)
 - `satleri_sentler`@[X (a.k.a. Twitter)](https://twitter.com/satleri_sentler)
 - `@satler.dev`@[Bluesky](https://bsky.app/profile/satler.dev)
 - `npub1230e7yqztdj03jzftjcznqv8kvpfl4svvhcyuj57ssccrtk80qjq57sfz0`@[nostr](https://njump.me/npub1230e7yqztdj03jzftjcznqv8kvpfl4svvhcyuj57ssccrtk80qjq57sfz0)
+- satler @ Resonite