.gitignore
CHANGES.rst
INSTALL.rst
LICENSE.txt
MANIFEST.in
README.rst
SUPPORT.rst
setup.py
terms.vim
Terms.egg-info/PKG-INFO
Terms.egg-info/SOURCES.txt
Terms.egg-info/dependency_links.txt
Terms.egg-info/entry_points.txt
Terms.egg-info/namespace_packages.txt
Terms.egg-info/requires.txt
Terms.egg-info/top_level.txt
doc/conf.py
doc/contact.rst
doc/godel.rst
doc/index.rst
doc/install.rst
doc/language.rst
doc/protocol.rst
doc/theory.rst
doc/usage.rst
doc/terms-theme/genindex.html
doc/terms-theme/layout.html
doc/terms-theme/page.html
doc/terms-theme/search.html
doc/terms-theme/theme.conf
doc/terms-theme/static/bootstrap.zip
doc/terms-theme/static/css/bootstrap-responsive.css
doc/terms-theme/static/css/bootstrap.css
doc/terms-theme/static/css/docs.css
doc/terms-theme/static/ico/apple-touch-icon-114-precomposed.png
doc/terms-theme/static/ico/apple-touch-icon-57-precomposed.png
doc/terms-theme/static/ico/apple-touch-icon-72-precomposed.png
doc/terms-theme/static/ico/favicon.ico
doc/terms-theme/static/img/bird.png
doc/terms-theme/static/img/bootstrap-mdo-sfmoma-01.jpg
doc/terms-theme/static/img/bootstrap-mdo-sfmoma-02.jpg
doc/terms-theme/static/img/bootstrap-mdo-sfmoma-03.jpg
doc/terms-theme/static/img/browsers.png
doc/terms-theme/static/img/fade_top.png
doc/terms-theme/static/img/github-16px.png
doc/terms-theme/static/img/glyphicons-halflings-white.png
doc/terms-theme/static/img/glyphicons-halflings.png
doc/terms-theme/static/img/grid-18px-masked.png
doc/terms-theme/static/img/icon-css3.png
doc/terms-theme/static/img/icon-github.png
doc/terms-theme/static/img/icon-html5.png
doc/terms-theme/static/img/icon-twitter.png
doc/terms-theme/static/img/less-logo-large.png
doc/terms-theme/static/img/less-small.png
doc/terms-theme/static/img/responsive-illustrations.png
doc/terms-theme/static/img/example-sites/fleetio.png
doc/terms-theme/static/img/example-sites/jshint.png
doc/terms-theme/static/img/example-sites/kippt.png
doc/terms-theme/static/img/example-sites/soundready.png
doc/terms-theme/static/img/examples/bootstrap-example-fluid.jpg
doc/terms-theme/static/img/examples/bootstrap-example-hero.jpg
doc/terms-theme/static/img/examples/bootstrap-example-starter.jpg
doc/terms-theme/static/img/glyphicons/glyphicons_009_magic.png
doc/terms-theme/static/img/glyphicons/glyphicons_042_group.png
doc/terms-theme/static/img/glyphicons/glyphicons_079_podium.png
doc/terms-theme/static/img/glyphicons/glyphicons_082_roundabout.png
doc/terms-theme/static/img/glyphicons/glyphicons_155_show_thumbnails.png
doc/terms-theme/static/img/glyphicons/glyphicons_163_iphone.png
doc/terms-theme/static/img/glyphicons/glyphicons_214_resize_small.png
doc/terms-theme/static/img/glyphicons/glyphicons_266_book_open.png
doc/terms-theme/static/js/README.md
doc/terms-theme/static/js/application.js
doc/terms-theme/static/js/bootstrap-alert.js
doc/terms-theme/static/js/bootstrap-button.js
doc/terms-theme/static/js/bootstrap-carousel.js
doc/terms-theme/static/js/bootstrap-collapse.js
doc/terms-theme/static/js/bootstrap-dropdown.js
doc/terms-theme/static/js/bootstrap-modal.js
doc/terms-theme/static/js/bootstrap-popover.js
doc/terms-theme/static/js/bootstrap-scrollspy.js
doc/terms-theme/static/js/bootstrap-tab.js
doc/terms-theme/static/js/bootstrap-tooltip.js
doc/terms-theme/static/js/bootstrap-transition.js
doc/terms-theme/static/js/bootstrap-typeahead.js
doc/terms-theme/static/js/jquery.js
doc/terms-theme/static/js/google-code-prettify/prettify.css
doc/terms-theme/static/js/google-code-prettify/prettify.js
godel/godel.asc
godel/godel.md
godel/godel19.html
godel/godel19.md
godel/godel20.md
terms/__init__.py
terms/core/__init__.py
terms/core/compiler.py
terms/core/daemon.py
terms/core/exceptions.py
terms/core/factset.py
terms/core/kb.py
terms/core/lexicon.py
terms/core/logger.py
terms/core/network.py
terms/core/patterns.py
terms/core/sa.py
terms/core/terms.py
terms/core/tests.py
terms/core/utils.py
terms/core/words.py
terms/core/etc/terms.cfg
terms/core/examples/activiti.trm
terms/core/examples/cms-time.trm
terms/core/examples/cms.trm
terms/core/examples/cms3.trm
terms/core/examples/monads.trm
terms/core/examples/person.trm
terms/core/examples/physics.trm
terms/core/scripts/__init__.py
terms/core/scripts/class_graph.py
terms/core/scripts/initterms.py
terms/core/scripts/kbdaemon.py
terms/core/scripts/repl.py
terms/core/tests/cms-time.test
terms/core/tests/cms.test
terms/core/tests/cms3.test
terms/core/tests/colors.test
terms/core/tests/import.test
terms/core/tests/person_count.test
terms/core/tests/person_loves.test
terms/core/tests/person_walks.test
terms/core/tests/physics.test
terms/core/tests/shegets.test