FALSE in ["maus", "smartadd", "theory 2", "theory 1", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "is a, has a", "rew", "short not", "iter", "dadbot+1", "eq", "grouping 2", "brackets", "grouping 1", "or3", "number of theories", "theory", "very funny", "rew!", "drop 'the' test.out", "grouping 2.x", "not test 2", "not test 1", "not", "and", "yo cons", "text of theory", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "memorize new 2", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "theory name", "is a theory", "ifthenelse", "foot-feet", "bit-bits", "maus", "smartadd", "theory 2", "theory 1", "mrshutco", "what is tasty", "ice cream", "number of theories 2", "yo", "superior lasagna", "really funny", "in list", "and 3", "and 4", "usermul", "is a, has a", "rew", "short not", "iter", "dadbot+1", "eq", "grouping 2", "brackets", "grouping 1", "or3", "number of theories", "theory", "very funny", "rew!", "drop 'the' test.out", "grouping 2.x", "not test 2", "not test 1", "not", "and", "yo cons", "text of theory", "is in list", "map cons", "xor", "list comp", "forall_impl", "yo2", "map", "lasagna", "memorize new 2", "or", "c# example", "verify 1", "smartmul", "verify 2", "list fillers", "yo2 cons", "theory name", "is a theory", "ifthenelse", "foot-feet", "bit-bits"] ``` Starting on goal: verify [[not false] should be true] Goal arity 2: verify [[not false] should be true] nextSolution Got clause: verify [_16 should be true] Clause unifies to: verify [[not false] should be true] gdash: not false Goal arity 2: not false No solution``` 2 ms
Snippet is not live.
Travelled to 12 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
Snippet ID: | #3000324 |
Snippet name: | Answer for stefanreich (>> log verify [[not false] should be true]) |
Eternal ID of this version: | #3000324/1 |
Text MD5: | db44c58b4190e1e587b2a3742349b8a0 |
Author: | someone |
Category: | |
Type: | New Tinybrain snippet |
Gummipassword: | eleutheria-for-user |
Uploaded from IP: | 69.10.46.185 |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2016-03-13 20:05:35 |
Source code size: | 1733 bytes / 11 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 501 / 133 |
Referenced in: | #3000382 - Answer for ferdie (>> t = 1, f = 0) #3000383 - Answer for funkoverflow (>> t=1, f=0 okay) |