def print_lines_simple(asker, lines):
return asker.ask_tail(print_lines(lines, T.from_int(0), T.from_str(" ")))
def reply(self, *args, **kwargs):
result = super(Counter, self).reply(*args, **kwargs)
return result.add(queries(T.from_int(self.cost)))
import convert
import representations
import properties
import updates
import outlines
import builtins
import computations
import term
import termtypes
import state
import views
import functions
import strings
from term import Term as T
k = updates.update(updates.trivial(), T.from_int(0))
d = T('test [a]', a=k)
Q = T('a question about [this]', this=k)
asker = ask.Asker(Q)
a = T('a')
b = T('b')
c = T('c')
l1 = T.from_list([a, b, c])
l2 = T.from_list([a, a, a])
l12 = lists.zip(l1, l2)
d = dictionaries.from_items(l12)
def make_int_expr(k):
return T(make_int_expr.head, k=T.from_int(k[0]))
