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
webpack-style-loader
css-mask
cots
tablib
libcmtd
phonegap-plugins
erpnext
sqslistener
moose
voximplant
kovan
kinterbasdb
dcm4che
cascading-deletes
docusigncompositetmplts
libvirt
msflowsdk
robotc
abc
modularization
rhel6
crontrigger
inversion
supplier
base64
timespan
pojo
vlc.dotnet
hypercard
azure-managed-app