⛭ eiríkr ⛭
Here are the slides from my Philly ETE talk: "Functions and Determinism in Property-based Testing" http://plastic-idolatry.com/erik/ete2017.pdf
Apr 19, 2017 at 11:57pmWeb
Show thread🔜@[email protected]Apr 20, 2017
@d6 seeing P(x) and having it not be a probability is throwing me for a loop
Show thread⛭ eiríkr ⛭Apr 20, 2017
@parataxis yeah, it's overloaded notation (first-order logic vs probability)