Export or edit this event...

Dependent Types meetup (Idris, mostly)

Engine Yard
1009 SW Yamhill St, 2nd Floor
Portland, OR 97205, US (map)
Public WiFi

Access Notes

Ring for entrance. Engine Yard's door is on SW Yamhill, above the Zipcar office.



David Christiansen (a major Idris committer) is going to be in town for a bit - thought we'd have some folks into programming in dependently-typed languages (e.g. Idris, Agda, Coq) get together while he's here. David will present on the horror, I mean, the wonder, of type providers.