\>$\{{\rm EAT}:(\forall i:1\leq i\leq 5:{\rm eating}[i] \Rightarrow \neg({\rm
eaiting}[i\ominus 1] \vee {\rm eating}[i\oplus 1]))\}$\\
Subscribe to:
Post Comments (Atom)
About Me
- Cape-Clad Coder
- I'm a student/employee in Austin, TX both working full time and working on my Masters in Software Engineering at UT-Austin.
0 comments:
Post a Comment