Stars
Research
Some writings and experiments
6 repositories
An Agda template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
Puzzle: arithmetic via denotational design
From Geometry to Algebra: A Denotational Journey Through Whole Numbers, Fractions, and DivMod Type
2
Updated Mar 7, 2023
Day 9 of Advent of Haskell - Denotational Design