Skip to content

Commit

Permalink
removed elem
Browse files Browse the repository at this point in the history
  • Loading branch information
@V-Ask
V-Ask committed May 29, 2024
1 parent 497aaf2 commit b100e0c
Show file tree
Hide file tree
Showing 10 changed files with 6 additions and 1,026 deletions.
1 change: 1 addition & 0 deletions examples/network/aliases.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"pingpong-listener":"12D3KooWK5UgRtP27Jdujm79Pq3QLJ5Gttg2PucDF8Hppd7txJiA","pingpong-dialer":"12D3KooWQ6DqK22D98Ro4WopLhsGPkUyb2d3EvckDrvSYta4E3Y6"}
Binary file removed examples/network/bug.zip
View file
Binary file not shown.
1 change: 1 addition & 0 deletions examples/network/ids/pingpong-dialer.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"id":"12D3KooWQ6DqK22D98Ro4WopLhsGPkUyb2d3EvckDrvSYta4E3Y6","privKey":"CAESQMLauuc9ZpSyyUT6M2aEVHOmpWKtu1iJ1RgoF9J27chG1BN8ReNF+MDNiTWrpC3T66mQdb/lo1Rq0PDXJR2KmWs=","pubKey":"CAESINQTfEXjRfjAzYk1q6Qt0+upkHW/5aNUatDw1yUdiplr"}
1 change: 1 addition & 0 deletions examples/network/ids/pingpong-listener.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"id":"12D3KooWK5UgRtP27Jdujm79Pq3QLJ5Gttg2PucDF8Hppd7txJiA","privKey":"CAESQJrfEr15UL1tJWbldgZzBh9T9Y9RrkRSAzDT4lKeK9EqiZhB5ZFmAGv3Q8cidbFUpoizcWTqTBIZjYmLn3n4jL8=","pubKey":"CAESIImYQeWRZgBr90PHInWxVKaIs3Fk6kwSGY2Ji595+Iy/"}
2 changes: 1 addition & 1 deletion examples/network/pingpong/aliases.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"pingpong-listener":"QmNLstfWyBabHSoCATbjUKyiTkiBbGMRfXKuT2b8Bv62AW","pingpong-dialer":"QmVVBs2C1C9rP72jmHcuJkzvZRPE2WBWUyCPwa7tNavFh7"}
{"pingpong-listener":"12D3KooWRreQ2wg6auezZE2FW5BYaRTW56HH7oPe5EPcwnTDACms","pingpong-dialer":"12D3KooW9yLx9GWMoh58Q3eLwnjSDgZ22pNcbULn1rL1B3g5dCCH"}
2 changes: 1 addition & 1 deletion examples/network/pingpong/ids/pingpong-dialer.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"id":"QmVVBs2C1C9rP72jmHcuJkzvZRPE2WBWUyCPwa7tNavFh7","privKey":"CAASpwkwggSjAgEAAoIBAQCmU3JZoXROh/HGZTxcQlg2Hun/U6zK0CE+jN7p63cEqfG1rYq6QmQ9oKdTTS7L4Vvtx9JCrcjsXIHQuKBTg1ZS8+hy3ZBo7TbgtYNvD9A8MQW2R6dqurNzUKn1qaxpZl13sQT7ol4cFF4viwMwAo128FeG2k1W4un+D9evg/8FfAbOBxsyTil97R1rWHHtyPobtr+zOV7a9mcbutaKzxWbWjZUQnJcd+BMyesFDYIAZhPYGC458jWkB7/1Sw6nWKIVuh1DDQiQ4AThzp7ks9JLbVKUNzumVn9zOy0CrVlmB3GVj7p77mzJkGuDZqh5CcsK9gs11i/xz5rfuZisqxGDAgMBAAECggEAd+pd3UVMZ3oX1GQUuqeSlaKALneTcr3P2hsSdDAxpQkpnUS7akKHpu729FYHUTLvZmXUsAI/hDnF1kfmP4/HYxM7GeWoQh4UnLoBQsdx6JOnfJ34lDh7PL6Bav6jsXH+HVdhMlMD6ta8eSaOa8TLXV82m6E0dVowPd4KMR7HdJmku/0G7czunZt2huuinYAZ24kLnVxSU47Z7ngQb4pvhaHqepFBEOlp9Gvku9q0nzVeWmLo1J4MPT4CsUybS+c//aFz9pw/6lBBV2SUQuzyZ00fYzLZSRaLKQEo87WUVkdcx81JgoSkFt2i8v7QzmSPDU1sPfC3RUnUluBIfVWz8QKBgQDsWbdRl2WRYDo/S3sD9kwt3WnE+Fdihc24uE1HgLuC9BhRDS9OOBc/XjlUvkCrxd0Glr1FTfP9ewNgxXQ5mnNTo/eMqblxlK/vUeqn4HXysgnBGhsgZmNC1vOb4Q9AnxS54uOBkqNjyyAdU02DHPVFvcfimmWohwBCTfgOywB1FQKBgQC0J2Nq1wnFjyamPcKzIGwEMQWQZ7pRHS9IeAb1c8xitCqFlR3vkKXgbn7EM2gisBLB/Wri5kylQr2Gy84jd7P4hWieGafm1Rc3r7zkafPVtyWomWcfDbcpJsiGsQop66EpBm869dnnexutbAAz3M3fhcjubqj9G1U5o7/1wXjCNwKBgQCTIe6rDlKeQ4c/K9/ywXr++l0Dz42muaEtox4Iqy0QAqC4pDqUuPpP6npKNP3RcSV9Go3M/RAs9k1OCt2llm7A3MwYdvgIqwUzOI2Z4HPMl+TWn0fPza1xSJryqRJzqhSe+42hdgXc8/CUEO2p93cA6XnrqS4r0Y7pt9v6aYlpWQKBgAo3AYgZUVCGYWajsdp+SCGktfAOMZ5PzVKKm7pnKnueQ5r3bY8b4IvtN/rf/1OYMDgXqmvbKxVjx2NRQwr3ypiY1+m/AqowAvUBXfCFoXHIxLXenN5B5NTMgipA95aQ6b5twvjQ394kONmIeip2pqW57D64v5Q6bIasJkJFChfZAoGAYyVkaNVHr8bdH9oxEPbVN40xhVD9J1SaJlk+JERmqtLn9TcXRqT3zvm27W+YQw7E4wEHITjT1P7l7sJ+8n1mzAUjsie8dTLoZ68TvwZC1ktIPU6tUkpefDya+IMbN3DU7X2jrk4y56hnofgK/AzKdBVK/cONoYXtWkotJ0EUZcw=","pubKey":"CAASpgIwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQCmU3JZoXROh/HGZTxcQlg2Hun/U6zK0CE+jN7p63cEqfG1rYq6QmQ9oKdTTS7L4Vvtx9JCrcjsXIHQuKBTg1ZS8+hy3ZBo7TbgtYNvD9A8MQW2R6dqurNzUKn1qaxpZl13sQT7ol4cFF4viwMwAo128FeG2k1W4un+D9evg/8FfAbOBxsyTil97R1rWHHtyPobtr+zOV7a9mcbutaKzxWbWjZUQnJcd+BMyesFDYIAZhPYGC458jWkB7/1Sw6nWKIVuh1DDQiQ4AThzp7ks9JLbVKUNzumVn9zOy0CrVlmB3GVj7p77mzJkGuDZqh5CcsK9gs11i/xz5rfuZisqxGDAgMBAAE="}
{"id":"12D3KooW9yLx9GWMoh58Q3eLwnjSDgZ22pNcbULn1rL1B3g5dCCH","privKey":"CAESQF6wIGIGQ5xtPa0aYpASt5nB02lIpyHoKZ/9B7RA3htpAkzZ1fgk6YZabzX9Cx9RMMU6++VHbbJr9eJ7mtgZd9o=","pubKey":"CAESIAJM2dX4JOmGWm81/QsfUTDFOvvlR22ya/Xie5rYGXfa"}
2 changes: 1 addition & 1 deletion examples/network/pingpong/ids/pingpong-listener.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"id":"QmNLstfWyBabHSoCATbjUKyiTkiBbGMRfXKuT2b8Bv62AW","privKey":"CAASqAkwggSkAgEAAoIBAQDfhqItLOHTl6cw9hxWkdHipCtlLk5f2NkE4Suebb6h4WpFR8qafNJ8qJLXGxMaYW50OBeMDdnnsefpYbbC2CNgKUx2AnzZ784AdzeDUTTZDwdePwJSuemx1tlSgbw4KADLP8pYNleuflKyUqzdojpc47Sn1gv6zcYPolz+1aSP0Xl76UoRgdm8Zymzxk+xKyxyBYxgCkYu7RNwkoE7hpOyl7eRGPNG31978NR9vu5XdXri27ez51lHpZq7KBgquONFtfok4eEEF26qIJbcb/4xl73I8eXH+FJGqHgyzSyAp0guHXM8Fg+xuenmY0sNtVBAgFbB6unSJWQMFmnxBNoLAgMBAAECggEBAJOSy5ePvjh4M0W79tGgzDUZthzDCbN18zGph6a9RdKShBrhXv3H0x/CG9Awa9hK4yWPstwgePDjH/2RKZxSHmjqWzS+R7eK/zKHgvsLrhxwM6khaGM9ovBqrGgwhxd8Man+n5TFq/XkKKzasI5TAL07CJaWVqprGIxR4ZvNaSwZIERJCLHafn08aC4GVukXeWMoH0ya+WViKev6sGIq39MUHevnA/itpNrj51Btlqs8FHPaMMHzPSxcjEzBIo5upUKqklo7fsx/XE7sp9FeE7h3AaItZMzv/aFJpvMe/m33z7HZHKTBxleU0RnxAKPsW1ZIRr2PNM4wAvfb1XgJcGECgYEA+MN1klZVcUvmniiP8oQ9YHfc0rpC6FKQKJQdizZKQkkrm1m5ulSHx+JuAl0Nk4PcO9g8ZKuI9HLmCeK1fM8MF+rKlmDipI5ajU6P1sryZkzQAFIJLRfjnRub5uuVJWkTedIualE/QADllWEbVOw5eAZIKUAKOd+/kGh9wIWepP8CgYEA5gc63XZJBMgZI1N2hKeN6MmQHABEDacv4mA6Ymhg9y8JmsK890w3wHHdf2NI64rCvELWlPdyfet7SL/xxVI/pYE2ejJXvhrSe6ZARKLEifZ3c3nllHDQ1z2DXyXonhoevfLNdghED5sVvX0ajc246JC4/PrxmEWs18gMvOXVDvUCgYEA2wUUbewvPBosiNGDs200sMu3k51ErVGL9P47aMc66FON3jBIcsJb7ePxIYmWG2v8KoB+48+XPEoxOUDus12D80bYaUASK/ndxg4GXIHAm8tDUxTnWVlwIHIfeFewsAhsilRAY4D3JD3l5PhjXQjCrGczf4YPutbBzb4CAdBjVjcCgYB+AyvuMmRh6DRNM+XTWe7VvcXicQrW5+XFf628Ry4He48pZtEaMHjCRh5vMLa7wjJX682docjozl2lRvFthVc0lYqAep+ylwMDldnTP8+nPIvHiNmJ7huaLiqPrza1ld2NdTu1E2YlnnHUcnpfgHlxfga5H8fGATVkqETCHq4PGQKBgBGUpKmxcVbUNWE8zeOf19nqr5y6dovn3Wm6T1NqBP7yOpEK3wuSOwjwhqy4vdcSHcudiFQAurUVP3cz5WXbdhZp3B8g68VFfq+61fcxMDlXeiIhWxJdqmD2LZPGv4jg+oxB40cJC1R6x5WGuqQQNo/ezrtqP9Q/5XyX80alUXaK","pubKey":"CAASpgIwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQDfhqItLOHTl6cw9hxWkdHipCtlLk5f2NkE4Suebb6h4WpFR8qafNJ8qJLXGxMaYW50OBeMDdnnsefpYbbC2CNgKUx2AnzZ784AdzeDUTTZDwdePwJSuemx1tlSgbw4KADLP8pYNleuflKyUqzdojpc47Sn1gv6zcYPolz+1aSP0Xl76UoRgdm8Zymzxk+xKyxyBYxgCkYu7RNwkoE7hpOyl7eRGPNG31978NR9vu5XdXri27ez51lHpZq7KBgquONFtfok4eEEF26qIJbcb/4xl73I8eXH+FJGqHgyzSyAp0guHXM8Fg+xuenmY0sNtVBAgFbB6unSJWQMFmnxBNoLAgMBAAE="}
{"id":"12D3KooWRreQ2wg6auezZE2FW5BYaRTW56HH7oPe5EPcwnTDACms","privKey":"CAESQF79dRdiG8tJ5zRBtAU3UMBSOGSPwRzdsgj5pNnOwHb/7lCAtk+OET71pdXNBhOSUQ64O4qdNCwp13M2Ul9VqF4=","pubKey":"CAESIO5QgLZPjhE+9aXVzQYTklEOuDuKnTQsKddzNlJfVahe"}
8 changes: 0 additions & 8 deletions lib/lists.trp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -56,13 +56,6 @@ let fun map f list =
in partition_aux ([],[]) ls
end

fun contains element list =
case list of
[] => false
| h :: t =>
if h = element then true
else contains element t

fun filter f l = case l of
[] => []
| h :: t => if f h then h :: (filter f t) else filter f t
Expand Down Expand Up @@ -97,7 +90,6 @@ in
, ("append", append)
, ("partition", partition)
, ("nth", nth)
, ("contains", contains)
, ("filter", filter)
, ("first", first)
, ("slice", slice)
Expand Down
1 change: 0 additions & 1 deletion lib/out/lists.exports
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,6 @@ length
append
partition
nth
contains
filter
first
slice
Expand Down
Loading

0 comments on commit b100e0c

Please sign in to comment.