Change 21436

Time

Attribute with previous and current values

Change #21436

2013-06-04

20:21:50

create Calagator::Event 1250464352 Dependent Types meetup Roll back

description	nil	→	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.
end_time	nil	→	2013-07-19 20:00:00 -0700
id	nil	→	1250464352
start_time	nil	→	2013-07-19 18:00:00 -0700
title	nil	→	Dependent Types meetup
url	nil	→	http://idris-lang.org/
venue_id	nil	→	202390999