Formal Thoughts

Exploring programming languages, formal methods and the ideas that shape them