--- Log opened Fri Nov 25 00:00:28 2022 08:40 -!- jonatack2 [~jonatack@user/jonatack] has quit [Ping timeout: 260 seconds] 08:41 -!- jonatack2 [~jonatack@user/jonatack] has joined ##miniscript 09:11 -!- jonatack2 [~jonatack@user/jonatack] has quit [Ping timeout: 264 seconds] 09:11 -!- jonatack2 [~jonatack@user/jonatack] has joined ##miniscript 14:36 -!- jonatack2 [~jonatack@user/jonatack] has quit [Ping timeout: 265 seconds] 15:39 -!- jonatack2 [~jonatack@user/jonatack] has joined ##miniscript 18:18 -!- jonatack2 [~jonatack@user/jonatack] has quit [Ping timeout: 265 seconds] 18:19 -!- jonatack2 [~jonatack@user/jonatack] has joined ##miniscript 19:36 -!- meshcollider [meshcollid@jujube.rpblc.net] has quit [Ping timeout: 252 seconds] 19:46 -!- meshcollider [meshcollid@jujube.rpblc.net] has joined ##miniscript 23:53 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript 23:56 < landabaso> Hi there! I'm implementing a miniscript satisfyer. For the "multi" miniscript, the dsat is "0 0 ... 0 (n+1 times)". Shouldn't it be "0 0 ... 0 (k+1 times)" (k, insteaf of n)? (I'm referring to: https://bitcoin.sipa.be/miniscript/, section "Basic satisfactions 23:56 < landabaso> "). Thanks --- Log closed Sat Nov 26 00:00:29 2022