Categories
Xplore
FP
PL
Enviroment Setup
2025
Context & Syntax/Semantic Analysis
Slides, But in Terminal
Basic Lambda Calculus Programming (Solutions for game functional on Steam)
2024
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