syntaxAlchemist/lib-laddertypes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Compare commits

merge into: syntaxAlchemist:topic-unification
Branches Tags
syntaxAlchemist:dev
syntaxAlchemist:topic-morphism-base
syntaxAlchemist:topic-unification
syntaxAlchemist:topic-sugar-wip
syntaxAlchemist:topic-semantic-subtype
syntaxAlchemist:topic-marco
...
pull from: syntaxAlchemist:dev
Branches Tags
syntaxAlchemist:topic-morphism-base
syntaxAlchemist:topic-unification
syntaxAlchemist:dev
syntaxAlchemist:topic-sugar-wip
syntaxAlchemist:topic-semantic-subtype
syntaxAlchemist:topic-marco
These branches are equal. There is no need to create a pull request.