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