Change 31787
| Time | Attribute with previous and current values |
|---|---|
|
Change #31787
2015-01-12
12:33:17
|
destroy Calagator::Event 1250467615 Galois Tech Talk: Dependently typed functional programming in Idris, 1 of 3 Roll back |