Hash :
622d4878
Author :
Thomas de Grivel
Date :
2024-08-22T01:29:45
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99
a = ?
a <- 1
a
(Ptr) a
a <- 1
a <- 2
type(a)
a = ?
a <- 1
a
a = ?
a <- 1
a
a = ?
a <- 1
a = ?
a <- 1
a
a = ?
b = ?
c = ?
Facts.with_tags(Facts.env_facts(), a, b, c, fn (fact) { puts(a); puts(b); puts(c); void })
Facts.with(Facts.env_facts(), quote [[plop, :operator, op], [op, :symbol_value, value]], fn (fact) { puts(value); void })
Facts.with(Facts.env_facts(), [[plop = ?, :operator, op = ?], [op, :symbol_value, value = ?]], fn (fact) { puts(value); void })
Facts.with(Facts.env_facts(), quote [[plop, :operator, op], [op, :symbol_value, value]], fn (fact) { puts(value); void })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op], [op, :symbol_value, value]], fn (fact) { puts(value); void })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op]], fn (fact) { puts(op); void })
Facts.with(Facts.env_facts(), [[KC3, :operator, op]], fn (fact) { puts(op); void })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op]], fn (fact) { puts(op); void })
Facts.with(Facts.env_facts(), quote [KC3, :operator, op], fn (fact) { puts(op); void })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op = ?]], fn (fact) { puts(op); void })
op = ?; Facts.with(Facts.env_facts(), [[KC3, :operator, op]], fn (fact) { puts(op); void })
op = ? ; Facts.with(Facts.env_facts(), [[KC3, :operator, op]], fn (fact) { puts(op); void })
op = ?
Facts.with(Facts.env_facts(), [[KC3, :operator, op]], fn (fact) { puts(op); void })
op = ?
Facts.with(Facts.env_facts(), [[KC3, :operator, op]], fn (fact) { puts(op); void })
Facts.with_tags(Facts.env_facts(), KC3, :operator, op, fn (fact) { puts(op); void })
1 + 10000000000000000000000000
1 + 1
quote 1 + 1
List.map([1, 2, 3], fn (x) { x * 2 })
a = ?
b = ?
c = ?
Facts.with_tags(Facts.env_facts(), KC3, :operator, a, fn (fact) { puts(a); void })
quote if true do if true do %KC3.Operator{} end end
quote if true do if true do unquote(%KC3.Operator{}) end end
Facts.with(Facts.env_facts(), [[KC3, :operator, op], [op, :symbol_value, value], fn (fact) { puts(op); void })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op], [op, :symbol_value, value], fn (fact) { puts(op); void })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op], [op, :symbol_value, value]], fn (fact) { puts(op); void })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op], [op, :symbol_value, value]], fn (fact) { puts(op); 1 })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op], [^ op, :symbol_value, value]], fn (fact) { puts(op); 1 })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, ^ op], [^ op, :symbol_value, value]], fn (fact) { puts(op); 1 })
op = ?
Facts.with(Facts.env_facts(), quote [[KC3, :operator, ^ op], [^ op, :symbol_value, value]], fn (fact) { puts(op); 1 })
op = ?
Facts.with(Facts.env_facts(), quote [[KC3, :operator, ^ op], [^ op, :symbol_value, value]], fn (fact) { puts(op); 1 })
op = ?
Facts.with(Facts.env_facts(), quote [[KC3, :operator, ^ op], [^ op, :symbol_value, value]], fn (fact) { puts(op); 1 })
op = ?
op <- 1
op
op <- ?
Facts.with(Facts.env_facts(), quote [[KC3, :operator, ^ op], [^ op, :symbol_value, value]], fn (fact) { puts(op); 1 })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op], [^ op, :symbol_value, value]], fn (fact) { puts(op); 1 })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op], [op, :symbol_value, value]], fn (fact) { puts(op); 1 })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, unquote(op)], [unquote(op), :symbol_value, value]], fn (fact) { puts(op); 1 })
op = ?
Facts.with(Facts.env_facts(), quote [[KC3, :operator, unquote(op)], [unquote(op), :symbol_value, value]], fn (fact) { puts(op); 1 })
op
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op = ?], [op, :symbol_value, value]], fn (fact) { puts(op); 1 })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op], [^ op, :symbol_value, value]], fn (fact) { puts(op); 1 })
Facts.with(Facts.env_facts(), quote [[KC3, :operator, op]], fn (fact) { puts(op); 1 })
Facts.with_tags(Facts.env_facts(), KC3, :operator, ?, fn (fact) { puts(fact.object); 1 })
?
a = ?
?
a
a = ?
a
a = ?
a
a <- 1
a
(U8) (Ptr) a
(Tag) (Ptr) a
(Ptr) a
(Tag) (Ptr) a
a = ?
a
(Ptr) a
a = ?
a
a <- 1
a
(Ptr) 0x1801350e830
(Tag) (Ptr) 0x1801350e830