Viewing 0 current events matching “meetup:event=222743447” by Date.
| Sort By: Date | Event Name, Location , Default |
|---|---|
| No events were found. | |
Viewing 1 past event matching “meetup:event=222743447” by Date.
| 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. |