Xplore
Context & Syntax/Semantic Analysis
Xplore
Slides, But in Terminal
FP
Basic Lambda Calculus Programming (Solutions for game functional on Steam)
FP
Abstractions for Search Algorithms
FP
The Construction of the Iteration Combinator - LCaC § 4C, Theorem 4.20
PL
Safety & Abstraction
FP
Church Encoding Note
FP
Message Passing Perspective on Bool - SICP § 2.4.3 | Generic | Data and Functions
FP
Huffman Trees in Haskell | Structure and Destructure of Compound Data
FP
Nested Mapping Examples Implemented in Haskell - SICP § 2.2.3 | List Monad
1
2