Stream: Elpi users & devs

Topic: Abstract over "derive"

view this post on Zulip Stéphane Desarzens (Jul 15 2021 at 20:25):

Is it currently possible to formulate: "Let A be a type/term for which 'param1' has been derived"?
In my definition of "expression of a programming language" I wanted to abstract over the type of identifier used. Its not necessary, but would have been nice.

view this post on Zulip Enrico Tassi (Jul 16 2021 at 05:41):

In that casa you should take 2 parameters, A and PA : A -> Type.

Last updated: May 25 2024 at 20:01 UTC