Skype Meeting 24052016 » History » Version 1
Version 1/3
-
Next » -
Current version
Karine Even Mendoza, 26/05/2016 15:51
Skype Meeting 24-05-2016¶
Future Tasks:- Search+uploading Benchmarks to Git
- Funfrog + Parallelizm
- EUF with Predicats (True/False P(x))
Example of its use (as was on the Skype meeting)
P( x )
P( y )
P( x ) := (x*x)
x = y
P( x ) = P( y )
P( x ) := (x * x > 3)
P( x ) == false
P( z )
P( z ) != P( y )
P( z ) != P( x )