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