Posts

• Is Not the Assignment Always Executed in Ruby? Mar 29

• Write You a Programming language for Computable Functions: Syntax Oct 11

• Reasoning with the HERMIT: Tool support for equational reasoning on GHC Core programs Feb 1