Type Theory in Purescript 05: Pretty Printing & Testing Proof Search
00:00:00 Introduction
00:29:32 The Problem
00:43:32 Checking With Examples
00:51:18 Is it a Proof?
00:59:58 Pretty Printing
01:08:38 Back To Examples
01:16:40 More Pretty Printing
01:31:14 :)
01:36:30 Writing Tests
Watch me and Denisa implement pure functional languages in Purescript! We will write parsers, interpreters (small-step semantics), type checking, and proof search (fill typed hole)!
Episode 1 shows basic syntax and parsing.
Episode 2 shows simplifying and substituting terms.
Episode 3 shows Sequent Calculus
Episode 4 shows Proof Searching with Sequents
Episode 5 shows pretty printing and testing the proof search
These shows happen weekly on Twitch. Follow me to get live notifications / cvladfp
I also tweet before going live: / cvlad
Subscribe to this channel for daily videos!