broerjuang

let auth = {
  initial: 'login_screen',
  states: {
    login_screen: {
      on: {
        NAVIGATE_REGISTER_SCREEN: 'register_screen'
      }
    },

broerjuang

let splash = {
  initial: 'idle',
  states: {
    idle: {
      on: {
        LOAD_DATA: 'spinner',
      },
    },
    spinner: {
      type: 'final',

broerjuang

open ReactUpdate;

type context = {
  rate: int,
  comment: string,
};

type action =
  | Open
  | Close

broerjuang

type windowSize = {
  height: int,
  width: int,
};

let useWindowResize = () => {
  let getWindowSize = (): option(windowSize) =>
    switch ([%external window]) {
    | None => None
    | Some(w) =>

broerjuang

-- We want to prove this:
fmap (compose g f)  ==  compose (fmap g) (fmap f)

-- Fact:
fmap :: (b -> c) -> (a -> b) -> (a -> c)
compose :: (b -> c) -> (a -> b) -> (a -> c)

-- Prove
fmap id f
(\ h g x -> h (g x)) id f

broerjuang

-- We want to prove this:
fmap (compose g f)  ==  compose (fmap g) (fmap f)

-- Fact:
fmap :: (b -> c) -> (a -> b) -> (a -> c)
compose :: (b -> c) -> (a -> b) -> (a -> c)

-- Prove
fmap id f
(\ h g x -> h (g x)) id f

broerjuang

" Plugins will be downloaded under the specified directory.
call plug#begin('~/.vim/plugged')

Plug 'preservim/nerdtree'
Plug 'vim-airline/vim-airline'
"Plug 'vim-airline/vim-airline-themes'
Plug 'liuchengxu/space-vim-theme'

"Plugin to insert and delete pair of chars
Plug 'jiangmiao/auto-pairs'

broerjuang

# vim style tmux config

# use C-a, since it's on the home row and easier to hit than C-b
set-option -g prefix C-a
unbind-key C-a
bind-key C-a send-prefix
set -g base-index 1

# Easy config reload
bind-key R source-file ~/.tmux.conf \; display-message "tmux.conf reloaded."

broerjuang

Code 

broerjuang

module AsyncResult = Relude.AsyncResult;
module Effect = ReludeReact.Effect;
module IO = Relude.IO;
module Option = Relude.Option;
module Reducer = ReludeReact.Reducer;

let (toBusy, completeOk, completeError) =
  AsyncResult.(toBusy, completeOk, completeError);

type state('a, 'e) = AsyncResult.t('a, 'e);