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

Generalised unification for FreeScoped terms #4

Merged
merged 21 commits into from
Nov 5, 2021
Merged

Generalised unification for FreeScoped terms #4

Changes from 1 commit
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
80c8c88
WIP on generalized unification
fizruk Oct 11, 2021
6f6706c
Try another approach for ScopedUnification:
fizruk Oct 31, 2021
b74ade4
Merge branch 'main' into scoped-unification
fizruk Oct 31, 2021
166f40a
Complete, fix, and test reduceAndGuess
fizruk Nov 4, 2021
b3bb5aa
Merge branch 'scoped-unification2' into scoped-unification
fizruk Nov 4, 2021
38a7f24
Fix warnings
fizruk Nov 4, 2021
bb051f4
Add guessing for complex terms, complete unification
fizruk Nov 4, 2021
1113493
Add .ghci and remove some FIXMEs
fizruk Nov 4, 2021
d90e2f8
Use noGuesses in shapeGuesses
fizruk Nov 4, 2021
c6bb887
Change Bool -> IsHead
fizruk Nov 4, 2021
201c242
Fix indexed-traversable version
fizruk Nov 5, 2021
087c464
Remove rzk.cabal from the repository
fizruk Nov 5, 2021
3b787bd
Remove offending duplicate instance
fizruk Nov 5, 2021
a65ea1d
Update README
fizruk Nov 5, 2021
4b2488e
Enable rzk-1 online
fizruk Nov 5, 2021
06cd5c6
Fix rzk-1 parser
fizruk Nov 5, 2021
2a6ae3b
Allow arbitrary newlines in definition for rzk-1
fizruk Nov 5, 2021
cc751b3
Add # to delimiters to fix parsing rzk-1 with polylingual
fizruk Nov 5, 2021
511d322
Fix default rzk-1 snippet and rzk-1 syntax highlighting
fizruk Nov 5, 2021
9c01105
Make -- reserved for comments in rzk-1
fizruk Nov 5, 2021
7e0a0ff
Update README
fizruk Nov 5, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Remove offending duplicate instance
  • Loading branch information
@fizruk
fizruk committed Nov 5, 2021
commit 3b787bd9bea1b7ec94fef3a397dabda9e3331c8d
3 changes: 0 additions & 3 deletions rzk/src/Rzk/Free/Syntax/Example/TTSC.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -659,9 +659,6 @@ unifyTerms'_ t1 t2 = fst (head (unifyTerms' t1 t2))

-- ** Pretty-printing

instance Pretty Rzk.Var where
pretty (Rzk.Var x) = pretty x

instance (Pretty n, Pretty b) => Pretty (Name.Name n b) where
pretty (Name.Name Nothing b) = pretty b
pretty (Name.Name (Just name) b) = "<" <> pretty name <> " " <> pretty b <> ">"
Expand Down