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