Viewing 0 current events matching “meetup:event=222743447” by Event Name.
Sort By: Date | Event Name, Location , Default |
---|---|
No events were found. |
Viewing 1 past event matching “meetup:event=222743447” by Event Name.
Sort By: Date | Event Name, Location , Default |
---|---|
Monday
Jun 8, 2015
|
Functional Programming Study Group – Collective Agency Downtown Levent Erkok will be giving an informal talk on the SBV library that he's been working on for quite some time now (https://hackage.haskell.org/package/sbv), and a possible brief intro to SAT/SMT solving. |