A blag containing my current adventures in logic, haskell and agents. Great presentation. Do you happen to have a direct link to the pdf? Is there maybe a video of the presentation? You can use the Scribd DDL: http://www.scribd.com/document…
A blag containing my current adventures in logic, haskell and agents. It should be enough to change the type signature of eval4 toeval4 :: Expr a env -> (Env Expr env env) -> aThe interesting change is requiring use and def to be the same.
A blag containing my current adventures in logic, haskell and agents. If you know any grad students, ask them for paper or thesis sources. Also often your department or other departments have sample latex theses. I remember using LaTeX to w…
A blag containing my current adventures in logic, haskell and agents. The University website is getting hammered. "Warning: mysql_connect(): Too many connections in ./include.php on line 9Kan geen verbinding maken"I reckon "Kan geen verbind…
A blag containing my current adventures in logic, haskell and agents. It's probably some rewrite rules firing somewhere, relying on the monad laws. Of course, I would say that but not be able to find any rewrite rules for Monad anywhere...
A blag containing my current adventures in logic, haskell and agents. Hello,Thanks for the post.You can actually simplify some of your functions, e.g.pSimple :: P_m (Str Char) CharpSimple = spaces *> pLetter' pVariable pArrowHope this helps…
A blag containing my current adventures in logic, haskell and agents. Very easily this site will most likely undoubtedly perhaps end up being popular including numerous weblogs individuals, because of its painstaking content pieces or possi…