Functional Discussions
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.
Portland Functional Programming Study Group
See more events
Collective Agency
322 NW 6th Ave, Suite 200 · Portland, OR
Functional Discussions