Posts tagged "tactics"

Separate Your Views; Reify Your Reasoning November 9, 2020
Towards Tactic Metaprogramming in Haskell October 12, 2020

REASONABLY
POLYMORPHIC

Hi there. I'm Sandy Maguire. I like improving life and making cool things.

If you want to get in touch, I'd love to hear from you! Send me an email; you can contact me via sandy at sandymaguire.me.

SITE LINKS

THINGS I MAKE

Code on github
Book archive
My other blog

WHAT I'M DOING

Erdos Project
Music at last.fm
Books at goodreads
Papers at mendeley

© 2015-2025 Sandy Maguire

REASONABLY POLYMORPHIC