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
All 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