mitchellwrosen

{-# LANGUAGE TupleSections #-}

module Main where

import           Control.Applicative
import           Control.Monad
import           Control.Monad.Trans.State
import           Data.List                 ((\\), transpose)
import           Data.Map                  (Map)
import qualified Data.Map                  as M

mitchellwrosen

{-# LANGUAGE FlexibleContexts    #-}
{-# LANGUAGE LambdaCase          #-}
{-# LANGUAGE RankNTypes          #-}
{-# LANGUAGE ScopedTypeVariables #-}

module Main where

import           Control.Monad
import           Control.Monad.Writer
import           Data.List

mitchellwrosen

module SendMoreMoney where

import Control.Monad
import Control.Monad.Trans.State

digits :: [Int]
digits = [0..9]

select :: StateT [a] [] a
select = StateT go

mitchellwrosen

{-# LANGUAGE DeriveFunctor              #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE LambdaCase                 #-}
{-# LANGUAGE RankNTypes                 #-}
{-# LANGUAGE TemplateHaskell            #-}

module Brainfuck where

import Control.Lens
import Control.Monad.Except

mitchellwrosen

Keybase proof

I hereby claim:

• I am mitchellwrosen on github.
• I am mitchellsalad (https://keybase.io/mitchellsalad) on keybase.
• I have a public key whose fingerprint is 3690 8209 3820 4AE4 DE6C 458C ADEE B819 CFC3 B7BE

To claim this, I am signing this object:

mitchellwrosen

#!/usr/bin/env stack
{- stack --resolver lts-9.5 runghc
     --package clock
     --package fgl
     --package random
     --package reactive-banana
     --package vty
-}

{-# language LambdaCase          #-}

mitchellwrosen

Remote terminal sharing

Some quick notes to document this somewhat tedious process.

To broadcast my terminal to the world:

1. TLS cert

If necessary, generate a self-signed TLS cert for gotty.

mitchellwrosen

{-# language DeriveAnyClass        #-}
{-# language FlexibleContexts      #-}
{-# language FlexibleInstances     #-}
{-# language GADTs                 #-}
{-# language LambdaCase            #-}
{-# language NamedFieldPuns        #-}
{-# language RankNTypes            #-}
{-# language ScopedTypeVariables   #-}
{-# language TupleSections         #-}
{-# language TypeApplications      #-}

mitchellwrosen

-- http://strictlypositive.org/CJ.pdf

{-# language DeriveFunctor          #-}
{-# language FlexibleInstances      #-}
{-# language FunctionalDependencies #-}
{-# language LambdaCase             #-}
{-# language MultiParamTypeClasses  #-}
{-# language PatternSynonyms        #-}
{-# language ScopedTypeVariables    #-}
{-# language TypeOperators          #-}

mitchellwrosen

sudo: false
language: generic

cache:
  directories:
  - $HOME/.stack

addons:
  apt:
    packages: