ほとけ

Web developer. TypeScript, Cloudflare, Google Cloud, Remix, Hono, Mathematical logic, Type Theory