Foundations and Applications of Intersection and Union Types (PDF)

Context & Syntax/Semantic Analysis

Slides, But in Terminal

Basic Lambda Calculus Programming (feat. Y combinator)

Abstractions for Search Algorithms

The Construction of the Iteration Combinator - LCaC § 4C, Theorem 4.20

Safety & Abstraction

Church Encoding Note

Message Passing Perspective on Bool - SICP § 2.4.3 | Generic | Data and Functions

Huffman Trees in Haskell | Structure and Destructure of Compound Data

Semantics of `let` in Scheme(feat. Semantics of `if`)

Nested Mapping Examples Implemented in Haskell - SICP § 2.2.3 | List Monad

My Common VSCode Shortcuts

MIT-Scheme Basic Usage

Explore Rust (Basic) & Revisiting gdb

Simple Bash CLI Programs & Simple Metaprogramming

A Quick Look at the `file` Command