Cleanup - Githubissues

gleachkr / Carnap-Old

An interactive proof checker that runs in the browser

http://gleachkr.github.io/Carnap/

GNU General Public License v3.0

3 stars 0 forks source link

Cleanup #8

Open gleachkr opened 9 years ago

gleachkr commented 9 years ago

We'd like to clean up the code

[ ] Make exports and imports more explicit.
[ ] Lint thoroughly.
[ ] Get rid of obsolete unification code
[ ] Reorganize Core
- [ ] Make sure general purpose data types and instances (that might be used by more than one kind of unification, or might be reused) are separated from modules related to a specific notion of unification.

JakeEhrlich commented 9 years ago

Could also change unification algorithm to allow arbitrary first order unification then get rid of all the other unification things that are cluttering things up.