hanshoglund

let g:netrw_banner=0
let g:netrw_browse_split=4
let g:netrw_altv=1
let g:netrw_liststyle=3
let g:netrw_list_hide="regex,some_regex"

hanshoglund

Monoid a => Comonad     ((->) a)
            Monad       ((->) a)
            Comonad     ((,) a)
Monoid a => Monad       ((,) a)

hanshoglund

 grep -rli 'Cortex.Strat.Vertex' * | xargs -i@ sed -i 's/Cortex.Strat.Vertex.//g' @

hanshoglund

data FileOrDir = File | Dir
-- Valid path
data Path :: FileOrDir -> * where
  F :: Text -> Path File
  D :: Text -> Path Dir
data Exists :: FileOrDir -> * where
  FE :: Exists File
  DE :: Exists Dir

hanshoglund

<H1>
   Dependencies
</H1>
<UL>
   <LI>
      <A HREF = "http://hackage.haskell.org/package/syb-0.4.2">
         syb
         0.4.2
      </A>

hanshoglund

https://www.youtube.com/watch?v=_2jrmgO_Gq0

hanshoglund

type TransId = Integer
data State -- AffineSpace wh Diff is just a Monoid (name?), Diff State ~ Trans
data Trans -- Monoid
data Query -- JoinSemilattice
runTrans :: Trans -> State -> State -- modifies the state arbitrarily
runQuery :: Query -> State -> State -- selects a subset of the state


forceCommit :: Trans -> m Bool

hanshoglund

-- TODO move


class MonadPar m where
  par :: m a -> Concurrently a
  getPar :: Concurrently a -> m a

raceP :: MonadPar m => (a -> m a) -> [a] -> m a
raceP f = getPar . foldr (<|>) empty . fmap (par . f)

hanshoglund

Command: /bin/sh -c 'ghc -c Strat/Vertex/System/IO.hs -threaded -fcontext-stack=50 -fforce-recomp -msse2 -dynamic -DBUILD_OSVER=RH5 -DUSE_NAG=9 -DUSE_MKL -DDATASYNAPSE_GRID -DHSDLLS -fPIC -DLINUX -DWORDSIZE32=0 -O2 -Werror -fwarn-tabs -Wall -fno-warn-unused-do-bind -fno-warn-type-defaults -fno-warn-name-shadowing -fno-warn-unused-matches -fno-warn-unrecognised-pragmas -i_make/linux.gcc.release.x86_64/obj -i.. -odir _make/linux.gcc.release.x86_64/obj -hidir _make/linux.gcc.release.x86_64/obj -stubdir _make/linux.gcc.release.x86_64/obj -osuf hs.o -hisuf hs.hi -package syb-0.4.2 -package html-1.0.1.2 -package HUnit-1.2.5.2 -package parallel-3.2.0.4 -package text-1.1.1.3 -package transformers-0.4.1.0 -package mtl-2.2.1 -package parsec-3.1.5 -package random-1.0.1.1 -package network-2.5.0.0 -package hscolour-1.24 -package stm-2.4.3 -package primitive-0.5.3.0 -package extensible-exceptions-0.1.1.4 -package tf-random-0.5 -package QuickCheck-2.7.5 -package hslogger-1.2.4 -package json-0.7 -package HTTP-4000.2.17 -pack

hanshoglund

import System.Random
import Control.Applicative
import Control.Monad
import qualified Crypto.Hash.SHA256 as SHA256
-- import qualified Data.ByteString.Lazy as LBS
import qualified Data.ByteString.Lazy.Char8 as LBS8
import qualified Data.ByteString.Base16 as Base16
import qualified Data.ByteString as BS