Change 34630

Time

Attribute with previous and current values

Change #34630

2015-06-08

17:49:46

update Calagator::Event 1250468583 Functional Programming Study Group Roll back

description

Levant 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.

→

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.