Change 21990

Time Attribute with previous and current values
Change #21990
2013-07-12
00:58:21

update Calagator::Event 1250464352 Dependent Types meetup Roll back

description 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 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.
end_time 2013-07-19 20:00:00 -0700 2013-07-20 18:00:00 -0700
start_time 2013-07-19 18:00:00 -0700 2013-07-20 16:00:00 -0700
venue_id 202390999 202393159