AP

Andor Pénzes

Developer

Conference speaker.

Talks (2)

Imagine a Dependently Typed Python

Talk 22:00 Imagine a Dependently Typed Python

Lambda Days 2024

Examples of Easy Dependently Typed Programming (in Idris)

Talk 21:00 Examples of Easy Dependently Typed Programming (in Idris)

Lambda Days 2023