Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Cleanup #8

Open
5 tasks
gleachkr opened this issue Jul 28, 2015 · 1 comment
Open
5 tasks

Cleanup #8

gleachkr opened this issue Jul 28, 2015 · 1 comment
Milestone
0.1.1

Comments

@gleachkr
Copy link
Owner

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.
@gleachkr gleachkr added this to the 0.1 milestone Jul 28, 2015
@JakeEhrlich
Copy link
Collaborator

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.

@gleachkr gleachkr modified the milestones: 0.1.1, 0.1 Aug 13, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
0.1.1
Development

No branches or pull requests
2 participants
@JakeEhrlich @gleachkr