Dependently Typed Functional Programming in Idris by David Christiansen

hellerve / programming-talks

Awesome & interesting talks about programming

7.24k stars 503 forks source link

Dependently Typed Functional Programming in Idris by David Christiansen #18

Closed bamboo closed 7 years ago

hellerve commented 8 years ago

Thanks for the contribution!

I will look at the talk today. Just a quick question: Do you know where the other parts are and if so, could you maybe make this a talk group as I did here?

catb0t commented 7 years ago

Part 2: https://vimeo.com/117973383 [1:02:47] Part 3: https://vimeo.com/117979741 [58:14]

I might consider making a PR myself for these changes but I don't know what you mean by "talk group" as you did in that commit ?

hellerve commented 7 years ago

What I meant was having a layout like this:

Dependently Typed Functional Programming in Idris: This talk has three parts.
- Dependently Typed Functional Programming in Idris, Part 1 [01:20:29] by David Christiansen
- [.. Part 2 etc. ...]

Just to have a consistent layout for a layout for multiple related talks. Is that clearer?

catb0t commented 7 years ago

Oh, that makes sense now (I guess it wasn't very clear from the raw markdown source).

hellerve commented 7 years ago

No worries, all is well. I'm known to not provide enough information when something is clear to me.

hellerve commented 7 years ago

Superseded by #35.