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:
{-# 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 |
{-# LANGUAGE FlexibleContexts #-} | |
{-# LANGUAGE LambdaCase #-} | |
{-# LANGUAGE RankNTypes #-} | |
{-# LANGUAGE ScopedTypeVariables #-} | |
module Main where | |
import Control.Monad | |
import Control.Monad.Writer | |
import Data.List |
module SendMoreMoney where | |
import Control.Monad | |
import Control.Monad.Trans.State | |
digits :: [Int] | |
digits = [0..9] | |
select :: StateT [a] [] a | |
select = StateT go |
{-# LANGUAGE DeriveFunctor #-} | |
{-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
{-# LANGUAGE LambdaCase #-} | |
{-# LANGUAGE RankNTypes #-} | |
{-# LANGUAGE TemplateHaskell #-} | |
module Brainfuck where | |
import Control.Lens | |
import Control.Monad.Except |
I hereby claim:
To claim this, I am signing this object:
#!/usr/bin/env stack | |
{- stack --resolver lts-9.5 runghc | |
--package clock | |
--package fgl | |
--package random | |
--package reactive-banana | |
--package vty | |
-} | |
{-# language LambdaCase #-} |
{-# language DeriveAnyClass #-} | |
{-# language FlexibleContexts #-} | |
{-# language FlexibleInstances #-} | |
{-# language GADTs #-} | |
{-# language LambdaCase #-} | |
{-# language NamedFieldPuns #-} | |
{-# language RankNTypes #-} | |
{-# language ScopedTypeVariables #-} | |
{-# language TupleSections #-} | |
{-# language TypeApplications #-} |
-- http://strictlypositive.org/CJ.pdf | |
{-# language DeriveFunctor #-} | |
{-# language FlexibleInstances #-} | |
{-# language FunctionalDependencies #-} | |
{-# language LambdaCase #-} | |
{-# language MultiParamTypeClasses #-} | |
{-# language PatternSynonyms #-} | |
{-# language ScopedTypeVariables #-} | |
{-# language TypeOperators #-} |
sudo: false | |
language: generic | |
cache: | |
directories: | |
- $HOME/.stack | |
addons: | |
apt: | |
packages: |