Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for Rodrigo Geraldo Ribeiro

Rodrigo Geraldo Ribeiro

rodrigogribeiro
0 Stars

Decks

Programação com Tipos Dependentes em Agda
Avatar for Rodrigo Geraldo Ribeiro rodrigogribeiro
0
160
Pesquisa em Linguagens de Programação
Avatar for Rodrigo Geraldo Ribeiro rodrigogribeiro
0
83

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade