Ouch! A bit late. Here's my "day 4" post on Prabakhar Ragde's "Logic and Computation Intertwined":
Merry christmas to all!
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| New chapter in "Logic and Computation Intertwined" | 5 | 447 | December 3, 2021 | |
| Advent 2024: Day 5 (Epicycles Revisited) | 1 | 123 | December 5, 2024 | |
| Book/chapter/paper club | 10 | 1131 | December 9, 2021 | |
| Call for contributions to Racket Advent Calendar 2024 | 1 | 135 | November 23, 2024 | |
| #langs that Fit in Your Head | 4 | 142 | December 12, 2024 |