search

hellerve / programming-talks

Awesome & interesting talks about programming
7.24k stars 503 forks source link

add Edwin Brady series on Idris #72

Closed catb0t closed 5 years ago

catb0t commented 5 years ago

closes #71