--- Day changed Sat Feb 01 2020
00:47 -!- dr-orlovsky [~dr-orlovs@77-58-192-184.dclient.hispeed.ch] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]     
02:08 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has quit [Quit: ZNC 1.7.5 - https://znc.in]     
02:09 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has joined ##miniscript     
02:25 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection]     
02:26 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined ##miniscript     
05:24 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has quit [Quit: ZNC 1.7.5 - https://znc.in]     
05:24 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has joined ##miniscript     
06:22 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection]     
06:22 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined ##miniscript     
07:17 -!- harrigan_ [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has joined ##miniscript     
07:19 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has quit [Ping timeout: 265 seconds]     
08:03 -!- felixweis [sid154231@gateway/web/irccloud.com/x-dwybcsuvqtnhdgjd] has quit []     
08:03 -!- felixweis [sid154231@gateway/web/irccloud.com/x-vqmefdkkwyinjdil] has joined ##miniscript     
08:28 -!- jeandudey [ba5458f8@186.84.88.248] has joined ##miniscript     
08:29 -!- jeandudey [ba5458f8@186.84.88.248] has quit [Remote host closed the connection]     
08:40 -!- elichai2 [sid212594@gateway/web/irccloud.com/x-comdeojcshxsgfje] has quit []     
08:41 -!- elichai2 [sid212594@gateway/web/irccloud.com/x-cncrzmpnfvrebfez] has joined ##miniscript     
09:30 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has quit [Remote host closed the connection]     
09:41 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has joined ##miniscript     
12:27 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection]     
12:28 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined ##miniscript     
18:37 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has joined ##miniscript     
18:39 -!- harrigan_ [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has quit [Ping timeout: 265 seconds]     
19:04 -!- achow101 [~achow101@unaffiliated/achow101] has quit [Ping timeout: 268 seconds]     
19:45 -!- achow101 [~achow101@unaffiliated/achow101] has joined ##miniscript     
20:40 < sanket1729> digi_james: Sorry, I was away for a while, just took a look at the PR now.
20:43 < sanket1729> I think the version of typing rules are probably not updated. We changed them a bit after adding non-canonical sat/dsat
20:45 < sanket1729> for example, the f property of and_v(X,Y) was previously always true. But after adding a non-canonical dsat [sat(X) dsat(Y)], we changed to f = sx or fy
21:04 < sanket1729> The newer version completely removed `m` and has slightly different definitions for `f`, `s`.