projects / web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7857803) | 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)
commit957dfcbeb64e7578468c61ed2bf059a5ffff1ebd
tree01b0c59f0e40610c99598ed4b378183bfda531e6tree | snapshot
parent785780310464c7bda779a1f58ff4aa71281fcc4bcommit | diff
more on 'udi' and angelic non-determinism; make some sentences less long
personal/_posts/2022-04-11-provenance-exposed.md diff | blob | history
sources for my website