Zulip Chat Archive
Stream: general
Topic: lifting Prop to Type
Zesen Qian (Aug 17 2018 at 14:53):
Hi, can I lift Prop to Type? whatever that means.
Mario Carneiro (Aug 17 2018 at 14:54):
plift
Mario Carneiro (Aug 17 2018 at 14:54):
or inhabited
Zesen Qian (Aug 17 2018 at 14:57):
great! thanks
Last updated: Dec 20 2023 at 11:08 UTC