chrisdone-artificial

// ==UserScript==
// @name     Auto-follow Slack links
// @version  1
// @match    https://artificial.slack.com/*
// @grant    none
// ==/UserScript==

setInterval(() => {
  document.querySelectorAll('a').forEach((a) => {
     if (a.innerText == 'open this link in your browser') {

chrisdone-artificial

// ==UserScript==
// @name     Slack->Todoist
// @version  1
// @match    https://app.slack.com/*
// ==/UserScript==

const timer = setInterval(() => {
        const containers = Array.from(document.querySelectorAll(`div[data-qa="message_container"]:not([${TAG}])`));
        if (containers.length == 0) {
        } else {

chrisdone-artificial

{-# LANGUAGE KindSignatures, BlockArguments #-}
{-# language GADTs, LambdaCase, GeneralizedNewtypeDeriving #-}
import Data.Kind
import Data.Functor.Const
import Control.Monad.Free
import Control.Applicative.Free
import qualified Data.ByteString as S
import qualified Data.ByteString.Char8 as S8
import Data.Functor.Identity
import Data.ByteString (ByteString)

chrisdone-artificial

{-# LANGUAGE KindSignatures, BlockArguments #-}
{-# language GADTs, LambdaCase, GeneralizedNewtypeDeriving #-}
import Data.Kind
import Data.Coerce
import Data.Functor.Const
import Control.Monad.Free
import Control.Applicative.Free
import qualified Data.ByteString as S
import qualified Data.ByteString.Char8 as S8
import Data.Functor.Identity

chrisdone-artificial

{-# LANGUAGE KindSignatures, BlockArguments #-}
{-# language GADTs, LambdaCase, GeneralizedNewtypeDeriving #-}
import Control.Monad.Free
import Control.Applicative.Free
import qualified Data.ByteString as S
import qualified Data.ByteString.Char8 as S8
import Data.Functor.Identity
import Data.ByteString (ByteString)
import qualified Data.Map as Map
import Data.Map (Map)

chrisdone-artificial

{-# LANGUAGE KindSignatures #-}
{-# language GADTs, LambdaCase, GeneralizedNewtypeDeriving #-}
import Control.Monad.Free
import Control.Applicative.Free
import qualified Data.ByteString as S
import qualified Data.ByteString.Char8 as S8
import Data.Functor.Identity
import Data.ByteString (ByteString)
import qualified Data.Map as Map
import Data.Map (Map)

chrisdone-artificial

-- needs to be a `M i o a', but almost there. LH is difficult (bad docs, bad errors, changing syntax)

{-# LANGUAGE GADTs #-}
{-# OPTIONS_GHC -fplugin=LiquidHaskell #-}
{-# language GeneralizedNewtypeDeriving, DeriveFunctor #-}

  {-@ LIQUID "--prune-unsorted" @-}

import Control.Monad.State
import Data.Set qualified as Set

chrisdone-artificial

{-# OPTIONS_GHC -fplugin=LiquidHaskell #-}
{-# language OverloadedStrings, BangPatterns #-}
import Data.Word
import Foreign.Ptr
import Foreign.C.Types
import Foreign.Marshal.Alloc
import System.Posix.IO.ByteString
import System.Posix.Types

main :: IO ()

chrisdone-artificial

data Todo = Todo {
  id :: Text,
  created :: UTCTime,
  title :: Text,
  description :: Text,
  priority :: Int
}

data Command
  = Add Main.Todo

chrisdone-artificial

name: Create Functional Pearl discussion weekly

on:
  schedule:
    - cron: "0 12 * * 5" # 5 = Friday (12:00 UTC)
  workflow_dispatch:

jobs:
  create-discussion:
    runs-on: ubuntu-latest