I'm currently looking at Agda support for denotational semantics. My development of tool support for CBS in the @plancomps project should resume later in 2025.
- Delft, The Netherlands
- https://pdmosses.github.io
Highlights
- Pro
Earned achievements
YOLO
YOLO
Loading
Pair Extraordinaire
x3
Pair Extraordinaire
x3
Loading
Galaxy Brain
x4
Galaxy Brain
x4
Loading
Quickdraw
Quickdraw
Loading
Pull Shark
x2
Pull Shark
x2
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading