Export or edit this event...

Idris (dependently-typed lang) meetup with Edwin Brady

Lucky Labrador Beer Hall
1945 NW Quimby
Portland, OR 97209, US (map)
Public WiFi



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!