Warning: session_start(): open(/var/lib/php/sessions/sess_293rddqbfl2kv9dheufnlqgif8, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
true true => a & b expect (a) expect (b) --- theory (a human weighs between 80 and 400 pounds) { $x is a human & $x weighs $y pounds => $y >= 80 & $y <= 400 } john is a human john weighs x pounds expect (x >= 80) expect (x <= 400) --- $x says (i weigh $y pounds) => $x weighs $y pounds (user 123) says (i weigh 50 pounds) expect ((user 123) weighs 50 pounds) --- import math proc { if (10 >= 5): ok1 if (10 >= 20): ok2 } expect ok1 don't expect ok2 --- import math 6 >= 5 don't expect contradiction --- import math 5 >= 6 expect contradiction --- import bool proc { if false: nothing else if true: yes } expect yes don't expect nothing --- import bool proc { if true: nothing else if true: yes } expect nothing don't expect yes --- import bool proc { if false: nothing else if false: yes } don't expect nothing don't expect yes --- import math proc { if (6 > 5): ok1 if (5 > 5): ok2 } expect ok1 don't expect ok2 --- import math theory (weight change) { $x weighs $y & last time $x weighed $z => proc { if ($y < $z): say (You lost weight) else if ($y > $z): say (You gained weight) else: say (You are stagnant) } } x weighs 50 last time x weighed 45 expect (say (You gained weight)) don't expect (say (You gained weight)) don't expect (say (You are stagnant))