Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Starred by Nikica Jokić
neektza
View profile
Tic Tac Type: Dependent Types with Idris
markhibberd
7
2.6k