Skype Meeting 24-05-2016¶

1. Search+uploading Benchmarks to Git
2. Funfrog + Parallelizm
3. 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 )