search

matt-noonan / gdp

Ghosts of Departed Proofs
BSD 3-Clause "New" or "Revised" License
60 stars 11 forks source link

I made a tutorial video, interested in feedback #19

Open bjornkihlberg opened 3 years ago

bjornkihlberg commented 3 years ago

Hello!

My apologies if you didn't want this posted as an issue.

I think GDP is very cool. I've played around with it and it has some interesting applications. It has taken me some time to understand it so I made a video with a quick overview of this package with focus on the non academic audience (people like myself basically). I'm attaching a link to my video in this message. I'd be interested to hear if you think I've understood GDP correctly.

Haskell Tutorial - GDP

// Regards Björn Kihlberg

matt-noonan commented 3 years ago

It looks great, nicely done! If you don’t object, I’ll add a link to your presentation in the README.

bjornkihlberg commented 3 years ago

Cool! I don't object at all. Thank you!