search

exeter-fp / discussion-ideas

Capture ideas for future meet up discussions
0 stars 0 forks source link

Theorem languages like Idris, Agda, Coq, F* #4

Open davidglassborow opened 7 years ago

davidglassborow commented 7 years ago

https://skillsmatter.com/skillscasts/9434-london-haskell-january-meetup