search

UlfNorell / agda-prelude

Programming library for Agda
MIT License
120 stars 24 forks source link

Reflected sorts now include Prop #85

Closed L-TChen closed 3 years ago

L-TChen commented 3 years ago

After agda/agda#5289, Agda's reflected syntax includes Prop and Setω.

UlfNorell commented 3 years ago

Thanks