EdLambda Tuesday 9th May - Type-driven Development with Idris, with Edwin Brady. opentechcalendar.co.uk/event/5255-edl…
0
5
2
0
0