404 bio not found
Awarded for writing and sharing your first DEV post! Continue sharing your work to earn the 4 Week Writing Streak Badge.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least three years.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least two years.
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least one year.
Skills/Languages
Idris2, Rust, Haskell, Ocaml, CS student in Japan
Currently hacking on
Idris2 cumulativity
We're a place where coders share, stay up-to-date and grow their careers.
