Change 31786
| Time | Attribute with previous and current values | ||||
|---|---|---|---|---|---|
|
Change #31786
2015-01-12
12:32:58
|
update Calagator::Event 1250467614 Galois Tech Talk: Dependently typed functional programming in Idris (part 1 of 3) Roll back
|