projects / web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74b2ab6) | 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)
commita1a7f9faa638583fea785ca998a301d4af0d8c17
treeb5018fb0f5f91fcc39460d439ecd66ca21c08fd8tree | snapshot
parent74b2ab6a7fc0cc672673687dcd894adcfe0426d2commit | 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