You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
All abstract terms can be represented canonically as a base term.
There should be an interface that allows defining new types in C# as long as a conversion to and from their canonical form is provided.
This interface would also expose the parser, which is currently not extensible, for the purposes of parsing the new type.
After this change is implemented, Dicts and possibly Lists should be rewritten to be abstract first class citizens.
The text was updated successfully, but these errors were encountered:
Modified ITerm to have a Maybe<IAbstractTerm> AbstractForm
Changes
Implemented and standardized lists through the AbstractListIAbstractTerm and the ListParser<T>. The new types are: List, Set (formerly BracyList), CommaList and, for internal use, UntypedList
Reimplemented Dict as an abstract term through the new interface and made it depend on the Set parser
Modified unification and explanation logic to account for abstract terms
Bugs
Some bugs pertaining to list unfolding may still be in hiding at the moment.
All abstract terms can be represented canonically as a base term.
There should be an interface that allows defining new types in C# as long as a conversion to and from their canonical form is provided.
This interface would also expose the parser, which is currently not extensible, for the purposes of parsing the new type.
After this change is implemented, Dicts and possibly Lists should be rewritten to be abstract first class citizens.
The text was updated successfully, but these errors were encountered: