Stream: Elpi users & devs

Topic: ✔ Adding universe polymorphic inductive type


view this post on Zulip Enrico Tassi (Jul 16 2022 at 20:36):

fixed in master

view this post on Zulip 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