From 3eebecb4cd9459676bf6f3159b7abbe8bbc1dc53 Mon Sep 17 00:00:00 2001 From: bouncepaw Date: Sat, 23 Sep 2023 03:00:09 +0000 Subject: [PATCH] Sync Sat Sep 23 03:00:09 UTC 2023 --- 560.myco | 4 ---- 624.myco | 4 ++++ One billion, one continent.myco | 4 ---- ...h to gradual typing - The Elixir programming language.myco | 4 ++++ 4 files changed, 8 insertions(+), 8 deletions(-) delete mode 100644 560.myco create mode 100644 624.myco delete mode 100644 One billion, one continent.myco create mode 100644 Strong arrows: a new approach to gradual typing - The Elixir programming language.myco diff --git a/560.myco b/560.myco deleted file mode 100644 index 4d4712c..0000000 --- a/560.myco +++ /dev/null @@ -1,4 +0,0 @@ -= 560 -https://links.bouncepaw.com/#ZgotmplZ - -Solderpunk came up with a different way of portraying the future of humanity in sci-fi. Slowly move everybody to one continent. Most people live in 50 megacities. We live and degrowth as long as we can. A fun concept. I myself like space conquering more, to be honest. Maybe combine the two? \ No newline at end of file diff --git a/624.myco b/624.myco new file mode 100644 index 0000000..c0ef631 --- /dev/null +++ b/624.myco @@ -0,0 +1,4 @@ += 624 +http://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/ + +Elixir is getting set-theoretic type system! \ No newline at end of file diff --git a/One billion, one continent.myco b/One billion, one continent.myco deleted file mode 100644 index d25ec1b..0000000 --- a/One billion, one continent.myco +++ /dev/null @@ -1,4 +0,0 @@ -= One billion, one continent -https://links.bouncepaw.com/#ZgotmplZ - -Solderpunk came up with a different way of portraying the future of humanity in sci-fi. Slowly move everybody to one continent. Most people live in 50 megacities. We live and degrowth as long as we can. A fun concept. I myself like space conquering more, to be honest. Maybe combine the two? \ No newline at end of file diff --git a/Strong arrows: a new approach to gradual typing - The Elixir programming language.myco b/Strong arrows: a new approach to gradual typing - The Elixir programming language.myco new file mode 100644 index 0000000..cc3f180 --- /dev/null +++ b/Strong arrows: a new approach to gradual typing - The Elixir programming language.myco @@ -0,0 +1,4 @@ += Strong arrows: a new approach to gradual typing - The Elixir programming language +http://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/ + +Elixir is getting set-theoretic type system! \ No newline at end of file