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
onload
ocamlfind
heroku-addon
ifs
enterprise-guide
snowflake-webui
s-expression
raw-file
sublimetext2
windrose
gomega
matrix-inverse
vb.net-2010
jsbundling-rails
audio-device
javacompiler
attention-model
ubuntu-11.10
upboard
geom-bar
vhosts
cfile
reconcile
aries
fc
massiv
opcode
ibm-sbt
re-frame
pymel