Li-yao (Mar 21 2024 at 15:53): Li-yao (Mar 21 2024 at 15:53):Is there a way to abbreviate types in elpi? I'd like to say something like mytype := list (option (term * term)).
Enrico Tassi (Mar 21 2024 at 20:58):Sure, it is the lambdaprolog way: typeabbrev mytype (....)
Enrico Tassi (Mar 21 2024 at 21:00):Example: https://github.com/LPCIC/elpi/blob/ed4a6c69c340b06b79383c0876aa11f5e669dabd/src/builtin.elpi#L17
Last updated: Oct 13 2024 at 01:02 UTC