About
Greetings! I’m Ibung, a software engineer with broad interests in functional programming languages, type theory, and formal verification.
Greetings! I’m Ibung, a software engineer with broad interests in functional programming languages, type theory, and formal verification.