Soonwon Moon
@damhiya@mastodon.social
Joined: 02/01/2025
About Soonwon Moon
I write programs and proofs. Love Martin-Löf type theory, separation logic, Haskell, Agda, Nix.
Lists
damhiya has no public lists
Timeline
damhiya has no activity yet
@damhiya@mastodon.social
Joined: 02/01/2025
I write programs and proofs. Love Martin-Löf type theory, separation logic, Haskell, Agda, Nix.
damhiya has no public lists
damhiya has no activity yet