--- Log opened Tue Sep 21 00:00:13 2021
07:12 -!- darosior1 [~darosior@194.36.189.246] has joined ##miniscript
07:12 -!- darosior [~darosior@194.36.189.246] has quit [Ping timeout: 252 seconds]
07:12 -!- darosior1 is now known as darosior
10:57 -!- jeremy is now known as jeremyrubin
14:30 <@sipa> c: always has property d; this correct? what about c:and_v(0,pk_k(X)) ?
14:31 <@sipa> i mean c:and_v(v:0,pk_k(X))
14:33 <@sipa> nvm, i misread
14:33 <@sipa> it inherits the d property from the argument; good
--- Log closed Wed Sep 22 00:00:15 2021