1 | 73 statements ``` |
2 | true |
3 | $x = new collector |
4 | saveTo ([$x , $collector]) |
5 | $x = retrieve ($collector) |
6 | $a and $b :- ... |
7 | $a and $b and $c :- ... |
8 | $a and $b and $c and $d :- ... |
9 | bits is the plural of bit |
10 | ($x) :- ... |
11 | $e1 = c # example :- ... |
12 | the dadbot is really funny |
13 | dadbot is really funny |
14 | $x = = $x |
15 | feet is the plural of foot |
16 | forall_impl ([$x , $cond , $c]) :- ... |
17 | rewrite [what is the $x of $y ?] to [what is [the $x of $y] ?] |
18 | rewrite [the $x of $y is $z] to [[the $x of $y] is $z] |
19 | [the $x of $y] is $z :- ... |
20 | [ice cream] is tasty |
21 | $b = if $a then $b else $c :- ... |
22 | $c = if $a then $b else $c |
23 | $e in $c :- ... |
24 | $t is a theory :- ... |
25 | $a has a $c :- ... |
26 | $e is in list $list :- ... |
27 | $head = iter [cons $head $tail] |
28 | $x = iter [cons $head $tail] :- ... |
29 | lasagna is tasty |
30 | $list = [$x | $cond] :- ... |
31 | "and" is a fill word |
32 | "," is a fill word |
33 | $y = map ([$f , $x]) :- ... |
34 | end = map_cons ([$f , end]) |
35 | [cons $z $y] = map_cons ([$f , [cons $word $x]]) :- ... |
36 | maus = maus ($x) |
37 | memorize $x :- ... |
38 | mrshutco is a human |
39 | not ($x) :- ... |
40 | not ($x) |
41 | [not (false)] should be true |
42 | [not (true)] should be false |
43 | $x = number of theories :- ... |
44 | $e2 = number of theories :- ... |
45 | $a or $b :- ... |
46 | $a or $b :- ... |
47 | $a or $b or $c :- ... |
48 | $a or $b or $c :- ... |
49 | $a or $b or $c :- ... |
50 | $x is funny :- ... |
51 | rew $a to $c :- ... |
52 | rew $a to $a |
53 | rew ! $a to $b :- ... |
54 | $a = smartmul ([$b , $c]) :- ... |
55 | $a = smartmul ([$b , $c]) :- ... |
56 | $a = smartmul ([$b , $c]) :- ... |
57 | lasagna is more tasty than [ice cream] |
58 | [theory $x] is a theory |
59 | a theory has a text |
60 | a theory has a name |
61 | the name of [theory $x] is $x |
62 | say [it's $c !] :- ... |
63 | verify [$x should be true] :- ... |
64 | verify [$x should be false] :- ... |
65 | $x is funny :- ... |
66 | say [$x is tasty !] :- ... |
67 | $x xor $y :- ... |
68 | $x xor $y :- ... |
69 | $y = yo ($x) :- ... |
70 | end = yo_cons (end) |
71 | [cons "yo!" $y] = yo_cons ([cons $word $x]) :- ... |
72 | $y = yo2 ($x) :- ... |
73 | end = yo2_cons (end) |
74 | [cons $e1 $y] = yo2_cons ([cons $word $x]) :- ... |
75 | ``` |
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: | #3000321 |
| Snippet name: | Answer for stefanreich (>> my program) |
| Eternal ID of this version: | #3000321/1 |
| Text MD5: | 21acecb8b81dd20adacef7efa4bdf39e |
| 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 19:43:33 |
| Source code size: | 1898 bytes / 75 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 518 / 119 |
| Referenced in: | [show references] |