import operator
-DEFS = '''
+DEFS = '''\
'''.splitlines()
definitions (lines with '≡' in them) into the dictionary.
'''
for line in stream:
- if '≡' not in line:
- continue
- name, body = text_to_expression(line.replace('≡', ''))
+ name, body = text_to_expression(line)
if name not in dictionary:
inscribe(class_(name, body), dictionary)
def default_defs(dictionary):
- Def.load_definitions(__doc__.splitlines(), dictionary)
+ Def.load_definitions(DEFS, dictionary)
if __name__ == '__main__':