I hereby claim:
- I am wraithm on github.
- I am wraithm (https://keybase.io/wraithm) on keybase.
- I have a public key whose fingerprint is D73E 3052 015F 49E5 E1B6 B204 BDFE D79A 5356 27B7
To claim this, I am signing this object:
;; Set ghcid-target to change the stack target | |
(setq ghcid-target "") | |
(setq ghcid-height 15) | |
(defun ghcid-stack-cmd (target) | |
(format "stack ghci %s --test --bench --ghci-options=-fno-code" target)) | |
(setq ghcid-buf-name "*ghcid*") | |
(define-minor-mode ghcid-mode |
import System.Random | |
import Control.Monad.Random | |
import qualified Data.Map.Lazy as Map | |
import Data.Map.Lazy (Map) | |
import Data.Maybe | |
import Data.Traversable as T | |
-- for the moment consider this a constant | |
max_speed = 2 |
{-# LANGUAGE OverloadedStrings #-} | |
module Main where | |
import Control.Monad (when) | |
import Data.Maybe (isJust) | |
import Data.ByteString.Char8 as C | |
import System.IO.Streams as Streams |
{-# LANGUAGE QuasiQuotes, DeriveGeneric, OverloadedStrings, FlexibleInstances, GADTs, TypeFamilies, RankNTypes #-} | |
module Main where | |
import Record | |
import Control.Lens hiding ((.=)) | |
import Control.Monad.IO.Class (liftIO) | |
import Data.Aeson | |
import GHC.Generics | |
import Database.Groundhog |
module type Functor = sig | |
type 'a t | |
val map : ('a -> 'b) -> 'a t -> 'b t | |
end | |
let fmap (implicit F : Functor) = F.map | |
implicit module FunctorList = struct | |
type 'a t = 'a list | |
let map = List.map |
I hereby claim:
To claim this, I am signing this object: