search

G3Kappa / Ergo

Other
4 stars 0 forks source link

"Bracy" Lists (Sets) #8

Closed G3Kappa closed 2 years ago

G3Kappa commented 2 years ago

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.

G3Kappa commented 2 years ago

Notes

Implemented "bracy lists" with the name and semantics of Sets.