Skip to content

Functional Discussions

Photo of
Hosted By
Leif W.

Details

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.
Collective Agency
322 NW 6th Ave, Suite 200 · Portland, OR
Google map of the user's next upcoming event's location