projects / web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23f8453) | patch
more on 'udi' and angelic non-determinism; make some sentences less long
authorRalf Jung <post@ralfj.de>
Mon, 11 Apr 2022 23:36:55 +0000 (19:36 -0400)
committerRalf Jung <post@ralfj.de>
Mon, 11 Apr 2022 23:36:55 +0000 (19:36 -0400)
commit45b2ead9ab30dc5eb58a0f9c70b0fd402a1665f5
tree85f68e05079d5abe2ae58d99c40eb7544b2966bbtree | snapshot
parent23f84531f8614d9ef33abf008c73ad0f6211952fcommit | diff
more on 'udi' and angelic non-determinism; make some sentences less long
ralf/_posts/2022-04-11-provenance-exposed.md diff | blob | history
sources for my website