Welcome
Learn More
Writings
Learn More
Writings
Posts
2025
Is Not the Assignment Always Executed in Ruby?
Mar 29
2022
Write You a Programming language for Computable Functions: Syntax
Oct 11
2021
Reasoning with the HERMIT: Tool support for equational reasoning on GHC Core programs
Feb 1