This is a heading

This is a subheading

This is a paragraph.

This is a much longer paragraph with a bunch of text. It may come as a surprise to hear that we can write full, everyday applications along the lines of the functional analog above. Programs that have sound properties. Programs that are terse, yet easy to reason about. Programs that don't reinvent the wheel at every turn. Lawlessness is good if you're a criminal, but in this book, we'll want to acknowledge and obey the laws of math.

  • list one

  • list two

  • list three

Back to the Homepage