Jesper Cockx's Blog

Reflective journaling prompts

On erasure annotations and agda2hs

Functional Programming in the Netherlands

A love letter to TTRPGs

Agda Core: The Dream and the Reality

Ten Thinkers Who Shaped My Worldview

6 Reasons in favor of a core language, and 5 against

Ten improvements to Agda's implementation

An Invitation to Mindfulness

Ten common writing issues in student papers

I'm Autistic, and that's okay

Don't worry (about writing Haskell), be happy (writing Agda instead)!

1001 Representations of Syntax with Binding

WITS '21: First International Workshop on the Implementation of Type Systems

EuroProofNet: the European research network on digital proofs

The Taming of the Rew

Mijn uitdaging voor jou in 2021: Doe zoveel goed als je kan

My challenge for you in 2021: Do the most good you can

An introduction to property-based testing with QuickCheck

NWO Veni Grant on A Trustworthy and Extensible Core Language for Agda

Announcement: I'm moving to Delft!

Rewriting type theory

Hack your type theory with rewrite rules

Formalize all the things (in Agda)

EUTYPES '19 Summer School in Ohrid

Writing Agda blog posts in literate markdown

Elaborating Dependent (Co)pattern Matching

The Agda's New Sorts