@EU_Commission of course you did
@oppen but... The snow is so realistic!
@oppen it made me smile. Thank you ♥
```
inductive Maybe (R: Type u) where
| just (ok: R)
| nothing
inductive Surely (L: Type u) where
| ok
| error (err: L)
```
I was searching for a way to make #haskell work with `direnv` again, but found an amazing project ran by a Ukrainian haskeller.
@kirill omg, я почему-то предположил что вы из РФ (наверное из-за @rf). Вы красавцы, мы—латыши—донатим ЗСУ и е*ашим по целям из UASHIELD! Сил вам и скорейшей победы!
Hello, @EU_Commission ! The longer member states wait on helping Ukraine decisively, the less food member states will have. The indecision of member states will cause starvation in Europe and beyond.
@lanodan also fediline fetching lol
@EU_Commission (it's not like I'm against it, just we need to give BBC the opportunity to reach Russians)
That https://doma.dev guy
#lean #elixir #typescript #react #nix
In my non-existent free time I design and run #TTRPG
If you use tools made by genocide-apologists, you are a genocide-apologist.
#lemmy users aren't welcome here.