I'm still puzzled what the sort Set means in Coq. When do I use Set and when do I use Type? In Hott a Set is defined as a type, where identity proofs are unique
chrome-ux-report
iad
svnignore
sql-server-2014
varying
unspecified-behavior
.net-assembly
inner-exception
sli
sqlcode
terraform-provider-aws
django-database-functions
adal.js
modelstate
jstilemap
firebase-machine-learning
mojibake
adaptive-bitrate
svn-externals
points
arduino-esp8266
program-transformation
tabbed-view
git-notes
kotlin-logging
capistrano
swift4
jscript
clist
dmx512