Change 31768
| Time | Attribute with previous and current values |
|---|---|
|
Change #31768
2015-01-09
15:35:41
|
update Calagator::Event 1250467614 Galois Tech Talk: Dependently typed functional programming in Idris (part 1 of 3) Roll back |