Stream: Elpi users & devs

Topic: ✔ Adding universe polymorphic inductive type

Enrico Tassi (Jul 16 2022 at 20:36):

fixed in master

Notification Bot (Jul 16 2022 at 20:36):

Enrico Tassi has marked this topic as resolved.

Last updated: Feb 04 2023 at 02:03 UTC