06-sigma-unification

elabzoo-sigma-unification

Unification modulo sigma types. WIP. Currently this package actually implements an experimental extended pattern unification algorithm which grew out of a less capable implementation. I'll put it somewhere more appropriate later.

Name		Name	Last commit message	Last commit date
parent directory ..
Common.hs		Common.hs
Cxt.hs		Cxt.hs
Elaboration.hs		Elaboration.hs
Errors.hs		Errors.hs
Evaluation.hs		Evaluation.hs
Main.hs		Main.hs
Metacontext.hs		Metacontext.hs
Parser.hs		Parser.hs
Presyntax.hs		Presyntax.hs
Pretty.hs		Pretty.hs
README.md		README.md
Syntax.hs		Syntax.hs
TAGS		TAGS
Unification.hs		Unification.hs
Value.hs		Value.hs
example.txt		example.txt
notes.txt		notes.txt
notes2.txt		notes2.txt
package.yaml		package.yaml
stack.yaml		stack.yaml

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

06-sigma-unification

06-sigma-unification

README.md

elabzoo-sigma-unification

Files

06-sigma-unification

Directory actions

More options

Directory actions

More options

Latest commit

History

06-sigma-unification

Folders and files

parent directory

README.md

elabzoo-sigma-unification