ESC
↑↓ navigate ↵ open esc close Search powered by
ElixirEvents
Events Speakers Talks Topics
Sign in Register
GitHub
Events Speakers Talks Topics
GitHub
Sign in Register
Lambda Days 2023 — Speakers
AP

Andor Pénzes

Developer

Conference speaker.

Talks (2)

Imagine a Dependently Typed Python
Talk 22:00
Imagine a Dependently Typed Python

Andor Pénzes

Lambda Days 2024

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

Andor Pénzes

Lambda Days 2023

ElixirEvents
About Contribute GitHub Elixir Forum Discord Slack

Made with for the BEAM community

elixirevents.org