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
SWI-Prolog represents shared variables within Lambda expressions as a list enclosed by braces, denoted a "bracy list".
Ergo only supports regular lists at the moment. It would be useful to define new list types that differ only in the symbols used for parsing (opening token, separator, and closing token).
It would be great to define these new types as abstract first class citizens, so that their semantics can differ from those of regular lists.
SWI-Prolog represents shared variables within Lambda expressions as a list enclosed by braces, denoted a "bracy list".
Ergo only supports regular lists at the moment. It would be useful to define new list types that differ only in the symbols used for parsing (opening token, separator, and closing token).
It would be great to define these new types as abstract first class citizens, so that their semantics can differ from those of regular lists.
Waiting on #4.
The text was updated successfully, but these errors were encountered: