About: http://webisa.webdatacommons.org/45507913

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	I would love to see some examples of dependently typed code where some data originates outside the program (e.g. read from a file), to get a feel for how promoting values to types would look like in such a setting.
http://www.w3.org/ns/prov#wasQuotedFrom	stackoverflow.com