Exploring 31c3 2014 Eng Programming With Dependent Types In Idris
If you are looking for information about 31c3 2014 Eng Programming With Dependent Types In Idris, you have come to the right place.
- ...
- Dependent types
- Speaker: Dr Edwin Brady London Haskell user group. 22nd January
- 31C3 - Programming withpendent types in Idris
- http://media.ccc.de/browse/congress/
In-Depth Information on 31c3 2014 Eng Programming With Dependent Types In Idris
Chaos Computer Club - Congress - Code Mesh London is the best place in Europe for non-mainstream tech and Dependent types Typically expect to see in a simply
The audio in the first part of the video is incorrect due to a wire that was not plugged in. It is corrected partway through.
We hope this detailed breakdown of 31c3 2014 Eng Programming With Dependent Types In Idris was helpful.
