"Idris: Practical Dependent Types with Practical Examples" by Brian McKenna

ashleygwilliams / breakfast-repo

a collection of videos, recordings, and podcasts to accompany our morning coffee

369 stars 10 forks source link

Open ashleygwilliams opened 8 years ago

ashleygwilliams commented 8 years ago

dupe-ish of #88 as rec'd by @appshipit

texastoland commented 8 years ago

Fair warning I watched and gave up halfway through 🙈