Posts

Dec 5, 2018
Seemingly Impossible Swift Programs
Jan 27, 2018
Launching Point-Free
Aug 1, 2017
Semirings and Predicates
Jul 17, 2017
Pretty Printing HTML
Jun 29, 2017
Composable HTML Views in Swift
Jun 23, 2017
Rendering an HTML DSL in Swift
Jun 22, 2017
Type-Safe HTML in Swift
Apr 18, 2017
The Algebra of Predicates and Sorting Functions
Apr 9, 2016
[Solutions to Exercises] Algebraic Structure and Protocols
Feb 17, 2015
Algebraic Structure and Protocols
Jan 27, 2015
[Solutions to Exercises] “Creating the Natural Numbers from First Principles”
Jan 20, 2015
Creating the Natural Numbers from First Principles
Jan 13, 2015
[Solutions to Exercises] “Proof in Functions”
Jan 6, 2015
Proof in Functions
Jan 1, 2015
Hello