data Free f a = Pure a | Free (f (Free f a))
⊢ V : C ✓
classical logic corresponds to the mechanism of first-class continuation under the Curry-Howard isomorphism
all partial functions are computable
emacsclient --eval '(my-refresh-foo-bar)'
This profile is from a federated server and may be incomplete. Browse more on the original instance.
Oleg's gists - Core Inspection (oleg.fi)
Sovereign Tech Fund invests in Cabal as critical Haskell infrastructure (well-typed.com)
We are delighted to announce that the Sovereign Tech Fund is investing in the development and maintenance of Cabal, the Haskell build system.
Vanilla OS 2.0 Alpha Available Now (vanillaos.org)
Met a nice lady at the grocery store
Today at the grocery store a sweet older lady approached me and asked if I knew anything about computers. I said yes I do, and she produced a mouse saying that her son set up Linux mint for her and she was wondering if the mouse was compatible. It needed kernel version 2.6 or newer so I said that the mouse should work, guessing...