Change 31766
| Time | Attribute with previous and current values | ||||
|---|---|---|---|---|---|
|
Change #31766
2015-01-09
15:30:41
|
update Calagator::Source 996335218 http://galois.com/blog/2015/01/tech-talk-dependently-typed-functional-programming-idris-1-3/ Roll back
|