--- Day changed Thu Mar 08 2018
07:04 -!- eklitzke [~evan@fsf/member/eck] has quit [Quit: bye]     
07:10 -!- eklitzke [~evan@fsf/member/eck] has joined #secp256k1     
11:17 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #secp256k1     
14:05 -!- echonaut1 [~echonaut@46.101.192.134] has quit [Remote host closed the connection]     
14:05 -!- echonaut [~echonaut@46.101.192.134] has joined #secp256k1     
14:08 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 240 seconds]     
16:00 -!- weez17 [~isaac@unaffiliated/weez17] has quit [Remote host closed the connection]     
16:00 -!- weez17 [~isaac@unaffiliated/weez17] has joined #secp256k1     
16:51 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #secp256k1     
17:08 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 268 seconds]     
17:22 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #secp256k1     
17:29 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 260 seconds]     
18:05 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #secp256k1     
18:20 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 240 seconds]     
21:00 < Taek> Does that mean that '+' is just repeated application of '++'?
21:37 < sipa> what is ++?
21:37 < sipa> ah, yes
21:37 < sipa> the natural numbers are defined by the 0 element and the successor function
21:37 < sipa> so 2 is defined as S(S(0)) etc.
21:38 < sipa> and then a+0 is defined as a, and a+S(b) as S(a+b) recursively