Skip to content
presentation i gave at a dependent types workshop when i was more naive than now
Ruby JavaScript
Find file
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
old
old2
.gems
.gitignore
Core.agda
Five.agda
Four.agda
One.agda
Six.agda
Three.agda
Two.agda
Zero.agda
config.ru
core.rb
five.rb
four.rb
notes.txt
notes2.txt
one.rb
showoff.json
six.rb
slides.md
three.rb
two.rb
zero.rb
zero_point_five.rb
Something went wrong with that request. Please try again.