updates
authorMart Lubbers <mart@martlubbers.net>
Fri, 4 Nov 2022 15:31:10 +0000 (16:31 +0100)
committerMart Lubbers <mart@martlubbers.net>
Fri, 4 Nov 2022 15:31:10 +0000 (16:31 +0100)
commit11bda54fc5a192544e945b73c5455b1ab3275078
treea2f773ab798ba1e66f68cef19e3d9d787e351d18
parentf9a4245726ba3e76b57d529b98e8cfe71beae99b
updates
dsl/class_deep_embedding.tex