Hello

I'm a software engineer, researcher, and startup advisor who loves programming languages.

You can find some of my projects on github.

If you really need to get a hold of me, email me at gmail with my github handle.

Recent posts

• Logic does not commute! (posted 2022-11-19)
• Backtracking state with LogicT (posted 2022-11-05)

Recent projects

Here are some of my recent open-source projects. I wrote them in Haskell.

• rulecheck - Automated testing of Haskell rewrite rules with program synthesis
• overeasy - A purely functional e-graph + e-matching library
• blanks - Fill-in-the-blanks - A library factoring out substitution from ASTs
• simple-parser - Simple backtracking parser combinators
• haskell-linenoise - A lightweight readline-replacement library for Haskell
• climb - Building blocks for a GHCi-like REPL with colon-commands