I hereby claim:
- I am actionshrimp on github.
- I am actionshrimp (https://keybase.io/actionshrimp) on keybase.
- I have a public key whose fingerprint is EDB3 240E 95F9 F2B8 A242 51AA FE09 FD07 2937 5918
To claim this, I am signing this object:
| $ opam exec -- ocamlopt --version | |
| 4.12.0 | |
| $ cat int64_test.ml | |
| module Datetime = struct | |
| module Conv (M : sig | |
| val xs_in_a_second : int64 | |
| val picos_in_an_x : int64 | |
| end) = |
| $ cat test.ml | |
| type params = { | |
| username: string; | |
| (** Your Github username *) | |
| api_key: string; | |
| (** Your Github API key *) | |
| command: string; [@pos 0] [@docv "CMD"] | |
| (** The Github API command to run *) |
I hereby claim:
To claim this, I am signing this object:
| module IndexedMinHeap exposing (empty, insert, deleteMin) | |
| import Array | |
| import Dict exposing (Dict) | |
| import Maybe | |
| import Tuple | |
| type alias IndexedMinHeap comparable comparable1 = | |
| { heap : Array.Array ( comparable, comparable1 ) |
| (* Split a list when the predicate changes when comparing two neighbours *) | |
| let partition_by (predicate : 'a -> 'a -> bool) (xs : 'a list) : ('a list) list = | |
| let rec go (cur_x, cur_xs, acc : 'a * ('a list) * (('a list) list)) (xs : 'a list) : ('a list) list = | |
| match xs with | |
| | [] -> (List.rev ((List.rev cur_xs) :: acc)) | |
| | x :: xs -> | |
| if predicate x cur_x | |
| then go (x, x :: cur_xs, acc) xs | |
| else go (x, [x], (List.rev cur_xs) :: acc) xs |
| {-# LANGUAGE RankNTypes #-} | |
| module RankNChurchEncoding where | |
| -- Attempting the exercise at the bottom of the Church Encoding section on | |
| -- https://ocharles.org.uk/blog/guest-posts/2014-12-18-rank-n-types.html | |
| newtype ListC a = | |
| ListC { | |
| foldC :: forall r. (a -> r -> r) -> r -> r | |
| } |
| ; Pick up service x events, sent by error detection in service 'y' stream | |
| (streams | |
| (where (service "x") | |
| ;Index API service events for 60s we can watch for expiries info | |
| (with :ttl 60 (update-index (index))) | |
| (changed-state {:init "ok"} | |
| (service-x-state-change-email "errors@email.com")) | |
| (expired (with :state "ok" reinject)))) |
| function! ToggleGStatus() | |
| if buflisted(bufname('.git/index')) | |
| bd .git/index | |
| else | |
| Gstatus | |
| endif | |
| endfunction | |
| command ToggleGStatus :call ToggleGStatus() | |
| nmap <F3> :ToggleGStatus<CR> |