diff --git a/README.md b/README.md index 0196f467..febb50dc 100644 --- a/README.md +++ b/README.md @@ -17,7 +17,7 @@ Please see [tests/](./tests) for some example code. #### Nat -[ [Goto Playground](https://inet.run/playground/dHlwZSBOYXQgLS0gVHlwZSBlbmQKCm5vZGUgemVybwogIC0tLS0tLS0tLS0tLQogIE5hdCA6dmFsdWUhCmVuZAoKbm9kZSBhZGQxCiAgTmF0IDpwcmV2CiAgLS0tLS0tLS0tLS0tCiAgTmF0IDp2YWx1ZSEKZW5kCgpub2RlIGFkZAogIE5hdCA6dGFyZ2V0IQogIE5hdCA6YWRkZW5kCiAgLS0tLS0tLS0tLS0tCiAgTmF0IDpyZXR1cm4KZW5kCgpydWxlIHplcm8gYWRkCiAgKGFkZCktYWRkZW5kCiAgcmV0dXJuLShhZGQpCmVuZAoKcnVsZSBhZGQxIGFkZAogIChhZGQpLWFkZGVuZAogIChhZGQxKS1wcmV2IGFkZAogIGFkZDEgcmV0dXJuLShhZGQpCmVuZAoKY2xhaW0gb25lIC0tIE5hdCBlbmQKZGVmaW5lIG9uZSB6ZXJvIGFkZDEgZW5kCgpjbGFpbSB0d28gLS0gTmF0IGVuZApkZWZpbmUgdHdvIG9uZSBvbmUgYWRkIGVuZAoKY2xhaW0gdGhyZWUgLS0gTmF0IGVuZApkZWZpbmUgdGhyZWUgdHdvIG9uZSBhZGQgZW5kCgpjbGFpbSBmb3VyIC0tIE5hdCBlbmQKZGVmaW5lIGZvdXIgdHdvIHR3byBhZGQgZW5kCgp0d28gdHdvIGFkZAp0d28gdHdvIGFkZCBydW4gJHJlc3VsdA) ] +[ [Goto The Playground](https://inet.run/playground/dHlwZSBOYXQgLS0gVHlwZSBlbmQKCm5vZGUgemVybwogIC0tLS0tLS0tLS0tLQogIE5hdCA6dmFsdWUhCmVuZAoKbm9kZSBhZGQxCiAgTmF0IDpwcmV2CiAgLS0tLS0tLS0tLS0tCiAgTmF0IDp2YWx1ZSEKZW5kCgpub2RlIGFkZAogIE5hdCA6dGFyZ2V0IQogIE5hdCA6YWRkZW5kCiAgLS0tLS0tLS0tLS0tCiAgTmF0IDpyZXR1cm4KZW5kCgpydWxlIHplcm8gYWRkCiAgKGFkZCktYWRkZW5kCiAgcmV0dXJuLShhZGQpCmVuZAoKcnVsZSBhZGQxIGFkZAogIChhZGQpLWFkZGVuZAogIChhZGQxKS1wcmV2IGFkZAogIGFkZDEgcmV0dXJuLShhZGQpCmVuZAoKY2xhaW0gb25lIC0tIE5hdCBlbmQKZGVmaW5lIG9uZSB6ZXJvIGFkZDEgZW5kCgpjbGFpbSB0d28gLS0gTmF0IGVuZApkZWZpbmUgdHdvIG9uZSBvbmUgYWRkIGVuZAoKY2xhaW0gdGhyZWUgLS0gTmF0IGVuZApkZWZpbmUgdGhyZWUgdHdvIG9uZSBhZGQgZW5kCgpjbGFpbSBmb3VyIC0tIE5hdCBlbmQKZGVmaW5lIGZvdXIgdHdvIHR3byBhZGQgZW5kCgp0d28gdHdvIGFkZAp0d28gdHdvIGFkZCBydW4gJHJlc3VsdA) ] ```inet type Nat -- Type end @@ -69,7 +69,7 @@ two two add run $result #### List -[ [Goto Playground](https://inet.run/playground/dHlwZSBMaXN0IFR5cGUgLS0gVHlwZSBlbmQKCm5vZGUgbnVsbAogIC0tLS0tLS0tCiAgJ0EgTGlzdCA6dmFsdWUhCmVuZAoKbm9kZSBjb25zCiAgJ0EgOmhlYWQKICAnQSBMaXN0IDp0YWlsCiAgLS0tLS0tLS0KICAnQSBMaXN0IDp2YWx1ZSEKZW5kCgpub2RlIGFwcGVuZAogICdBIExpc3QgOnRhcmdldCEKICAnQSBMaXN0IDpyZXN0CiAgLS0tLS0tLS0KICAnQSBMaXN0IDpyZXR1cm4KZW5kCgpydWxlIG51bGwgYXBwZW5kCiAgKGFwcGVuZCktcmVzdAogIHJldHVybi0oYXBwZW5kKQplbmQKCnJ1bGUgY29ucyBhcHBlbmQKICAoYXBwZW5kKS1yZXN0IChjb25zKS10YWlsIGFwcGVuZAogIChjb25zKS1oZWFkIGNvbnMKICByZXR1cm4tKGFwcGVuZCkKZW5kCgppbXBvcnQgemVybyBmcm9tICJodHRwczovL2Nkbi5pbmV0LnJ1bi90ZXN0cy9kYXRhdHlwZS9OYXQuaSIKCm51bGwgemVybyBjb25zIHplcm8gY29ucwpudWxsIHplcm8gY29ucyB6ZXJvIGNvbnMKYXBwZW5kCgpudWxsIHplcm8gY29ucyB6ZXJvIGNvbnMKbnVsbCB6ZXJvIGNvbnMgemVybyBjb25zCmFwcGVuZCBydW4gJHJlc3VsdA) ] +[ [Goto The Playground](https://inet.run/playground/dHlwZSBMaXN0IFR5cGUgLS0gVHlwZSBlbmQKCm5vZGUgbnVsbAogIC0tLS0tLS0tCiAgJ0EgTGlzdCA6dmFsdWUhCmVuZAoKbm9kZSBjb25zCiAgJ0EgOmhlYWQKICAnQSBMaXN0IDp0YWlsCiAgLS0tLS0tLS0KICAnQSBMaXN0IDp2YWx1ZSEKZW5kCgpub2RlIGFwcGVuZAogICdBIExpc3QgOnRhcmdldCEKICAnQSBMaXN0IDpyZXN0CiAgLS0tLS0tLS0KICAnQSBMaXN0IDpyZXR1cm4KZW5kCgpydWxlIG51bGwgYXBwZW5kCiAgKGFwcGVuZCktcmVzdAogIHJldHVybi0oYXBwZW5kKQplbmQKCnJ1bGUgY29ucyBhcHBlbmQKICAoYXBwZW5kKS1yZXN0IChjb25zKS10YWlsIGFwcGVuZAogIChjb25zKS1oZWFkIGNvbnMKICByZXR1cm4tKGFwcGVuZCkKZW5kCgppbXBvcnQgemVybyBmcm9tICJodHRwczovL2Nkbi5pbmV0LnJ1bi90ZXN0cy9kYXRhdHlwZS9OYXQuaSIKCm51bGwgemVybyBjb25zIHplcm8gY29ucwpudWxsIHplcm8gY29ucyB6ZXJvIGNvbnMKYXBwZW5kCgpudWxsIHplcm8gY29ucyB6ZXJvIGNvbnMKbnVsbCB6ZXJvIGNvbnMgemVybyBjb25zCmFwcGVuZCBydW4gJHJlc3VsdA) ] ```inet type List Type -- Type end @@ -117,7 +117,7 @@ append run $result #### DiffList -[ [Goto Playground](https://inet.run/playground/aW1wb3J0IExpc3QgZnJvbSAiaHR0cHM6Ly9jZG4uaW5ldC5ydW4vdGVzdHMvZGF0YXR5cGUvTGlzdC5pIgoKLy8gQ29uY2F0ZW5hdGlvbiBvZiBsaXN0cyBpcyBwZXJmb3JtZWQgaW4gbGluZWFyIHRpbWUKLy8gd2l0aCByZXNwZWN0IHRvIGl0cyBmaXJzdCBhcmd1bWVudC4KLy8gQ29uc3RhbnQgdGltZSBjb25jYXRlbmF0aW9uIGlzIHBvc3NpYmxlCi8vIHdpdGggZGlmZmVyZW5jZS1saXN0czogdGhlIGlkZWEgY29uc2lzdHMgaW4KLy8gcGx1Z2dpbmcgdGhlIGZyb250IG9mIHRoZSBzZWNvbmQgYXJndW1lbnQKLy8gYXQgdGhlIGJhY2sgb2YgdGhlIGZpcnN0IG9uZS4KCnR5cGUgRGlmZkxpc3QgVHlwZSAtLSBUeXBlIGVuZAoKbm9kZSBkaWZmCiAgJ0EgTGlzdCA6ZnJvbnQKICAtLS0tLS0tCiAgJ0EgTGlzdCA6YmFjawogICdBIERpZmZMaXN0IDp2YWx1ZSEKZW5kCgpub2RlIGRpZmZfYXBwZW5kCiAgJ0EgRGlmZkxpc3QgOnRhcmdldCEKICAnQSBEaWZmTGlzdCA6cmVzdAogIC0tLS0tLS0tCiAgJ0EgRGlmZkxpc3QgOnJldHVybgplbmQKCm5vZGUgZGlmZl9vcGVuCiAgJ0EgRGlmZkxpc3QgOnRhcmdldCEKICAnQSBMaXN0IDpsaXN0CiAgLS0tLS0tLS0tLQogICdBIExpc3QgOnJldHVybgplbmQKCnJ1bGUgZGlmZiBkaWZmX2FwcGVuZAogIChkaWZmKS1mcm9udCBkaWZmIHJldHVybi0oZGlmZl9hcHBlbmQpCiAgKGRpZmZfYXBwZW5kKS1yZXN0IGRpZmZfb3BlbiBiYWNrLShkaWZmKQplbmQKCnJ1bGUgZGlmZiBkaWZmX29wZW4KICAoZGlmZiktYmFjayBsaXN0LShkaWZmX29wZW4pCiAgKGRpZmYpLWZyb250IHJldHVybi0oZGlmZl9vcGVuKQplbmQKCmltcG9ydCB6ZXJvIGZyb20gImh0dHBzOi8vY2RuLmluZXQucnVuL3Rlc3RzL2RhdGF0eXBlL05hdC5pIgppbXBvcnQgY29ucyBmcm9tICJodHRwczovL2Nkbi5pbmV0LnJ1bi90ZXN0cy9kYXRhdHlwZS9MaXN0LmkiCgp6ZXJvIChjb25zIDp0YWlsKSB6ZXJvIGNvbnMgZGlmZiByb3Qgcm90IGNvbm5lY3QKemVybyAoY29ucyA6dGFpbCkgemVybyBjb25zIGRpZmYgcm90IHJvdCBjb25uZWN0CmRpZmZfYXBwZW5kCgp6ZXJvIChjb25zIDp0YWlsKSB6ZXJvIGNvbnMgZGlmZiByb3Qgcm90IGNvbm5lY3QKemVybyAoY29ucyA6dGFpbCkgemVybyBjb25zIGRpZmYgcm90IHJvdCBjb25uZWN0CmRpZmZfYXBwZW5kIHJ1biAkcmVzdWx0) ] +[ [Goto The Playground](https://inet.run/playground/aW1wb3J0IExpc3QgZnJvbSAiaHR0cHM6Ly9jZG4uaW5ldC5ydW4vdGVzdHMvZGF0YXR5cGUvTGlzdC5pIgoKLy8gQ29uY2F0ZW5hdGlvbiBvZiBsaXN0cyBpcyBwZXJmb3JtZWQgaW4gbGluZWFyIHRpbWUKLy8gd2l0aCByZXNwZWN0IHRvIGl0cyBmaXJzdCBhcmd1bWVudC4KLy8gQ29uc3RhbnQgdGltZSBjb25jYXRlbmF0aW9uIGlzIHBvc3NpYmxlCi8vIHdpdGggZGlmZmVyZW5jZS1saXN0czogdGhlIGlkZWEgY29uc2lzdHMgaW4KLy8gcGx1Z2dpbmcgdGhlIGZyb250IG9mIHRoZSBzZWNvbmQgYXJndW1lbnQKLy8gYXQgdGhlIGJhY2sgb2YgdGhlIGZpcnN0IG9uZS4KCnR5cGUgRGlmZkxpc3QgVHlwZSAtLSBUeXBlIGVuZAoKbm9kZSBkaWZmCiAgJ0EgTGlzdCA6ZnJvbnQKICAtLS0tLS0tCiAgJ0EgTGlzdCA6YmFjawogICdBIERpZmZMaXN0IDp2YWx1ZSEKZW5kCgpub2RlIGRpZmZfYXBwZW5kCiAgJ0EgRGlmZkxpc3QgOnRhcmdldCEKICAnQSBEaWZmTGlzdCA6cmVzdAogIC0tLS0tLS0tCiAgJ0EgRGlmZkxpc3QgOnJldHVybgplbmQKCm5vZGUgZGlmZl9vcGVuCiAgJ0EgRGlmZkxpc3QgOnRhcmdldCEKICAnQSBMaXN0IDpsaXN0CiAgLS0tLS0tLS0tLQogICdBIExpc3QgOnJldHVybgplbmQKCnJ1bGUgZGlmZiBkaWZmX2FwcGVuZAogIChkaWZmKS1mcm9udCBkaWZmIHJldHVybi0oZGlmZl9hcHBlbmQpCiAgKGRpZmZfYXBwZW5kKS1yZXN0IGRpZmZfb3BlbiBiYWNrLShkaWZmKQplbmQKCnJ1bGUgZGlmZiBkaWZmX29wZW4KICAoZGlmZiktYmFjayBsaXN0LShkaWZmX29wZW4pCiAgKGRpZmYpLWZyb250IHJldHVybi0oZGlmZl9vcGVuKQplbmQKCmltcG9ydCB6ZXJvIGZyb20gImh0dHBzOi8vY2RuLmluZXQucnVuL3Rlc3RzL2RhdGF0eXBlL05hdC5pIgppbXBvcnQgY29ucyBmcm9tICJodHRwczovL2Nkbi5pbmV0LnJ1bi90ZXN0cy9kYXRhdHlwZS9MaXN0LmkiCgp6ZXJvIChjb25zIDp0YWlsKSB6ZXJvIGNvbnMgZGlmZiByb3Qgcm90IGNvbm5lY3QKemVybyAoY29ucyA6dGFpbCkgemVybyBjb25zIGRpZmYgcm90IHJvdCBjb25uZWN0CmRpZmZfYXBwZW5kCgp6ZXJvIChjb25zIDp0YWlsKSB6ZXJvIGNvbnMgZGlmZiByb3Qgcm90IGNvbm5lY3QKemVybyAoY29ucyA6dGFpbCkgemVybyBjb25zIGRpZmYgcm90IHJvdCBjb25uZWN0CmRpZmZfYXBwZW5kIHJ1biAkcmVzdWx0) ] ```inet import List from "https://cdn.inet.run/tests/datatype/List.i"