Change 28190

Time Attribute with previous and current values
Change #28190
2014-06-03
15:41:47

update Calagator::Event 1250466385 Idris (dependently-typed lang) meetup with Edwin Brady Roll back

description Idris is a dependently typed language that looks pretty much like Haskell with depedent types. Its creator, Edwin Brady will be in town this Friday, and says he can give an impromptu talk or demo on some of his latest work in the language. → Idris is a dependently typed language that looks pretty much like Haskell with depedent types. Its creator, Edwin Brady will be in town this Friday, and says he can give an impromptu talk or demo on some of his latest work in the language. Come get your copy of the Idris compiler autographed!
locked nil → false