GitHub - itaibn/loader-gui: GUI CoC term constructor based on loader.c

itaibn / loader-gui Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

GUI CoC term constructor based on loader.c

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
README		README
coc.py		coc.py
loader.c		loader.c
loader_gui.py		loader_gui.py
loader_sim.py		loader_sim.py

Repository files navigation

A Calculus of Constructions GUI term constructor

To run: You need Python 3.* installed (I'm not sure if all subversions work; I
tested this with Python 3.2). Then simply run "python loader_gui.py" in the
command line. You need to PIP package pyperclip installed for full
functionality.

The files busy.tar.gz and loader.c were made by Ralph Loader. busy.tar.gz was
downloaded from http://homepages.ihug.co.nz/~suckfish/busy/busy.tar.gz, and is
linked from his homepage at http://homepages.ihug.co.nz/~suckfish/. loader.c is
copied from reduced.c in the tarfile busy.tar.gz. These files are both public
domain (source: personal correspondence).