mseri

module Reachable_ptr : sig
  type 'a t
  val typ : 'a Ctypes_static.typ -> 'a t Ctypes_static.typ
  val setf : ('b, 'c) Ctypes.structured ->
    ('a t, ('b, 'c) Ctypes.structured) Ctypes.field -> 'a Ctypes.ptr -> unit
  val getf : ('b, 'c) Ctypes.structured ->
    ('a t, ('b, 'c) Ctypes.structured) Ctypes.field -> 'a Ctypes.ptr
end = struct

mseri

open Higher

(*
  See `Free Applicative Functors' http://arxiv.org/abs/1403.0749
 *)
type (_, _) t =
  | Pure : 'a -> ('a, 'f) t
  | Apply : ('a -> 'b, 'f) t * ('a, 'f) app -> ('b, 'f) t

let pure v = Pure v

mseri

(* See also: http://caml.inria.fr/pub/docs/manual-ocaml/extn.html#sec238 *)

type _ typ =
  | Unit : unit typ
  | Int : int typ
  | Float : float typ
  | String : string typ
  | Pair : ('a typ * 'b typ) -> ('a * 'b) typ
  | List : 'a typ -> 'a list typ

mseri

(*
  Requirement: higher, ppx_deriving.show
*)

(*
  Lightweight higher-kinded polymorphism
  https://ocamllabs.github.io/higher/lightweight-higher-kinded-polymorphism.pdf
 *)
open Higher

mseri

(*---------------------------------------------------------------------------
   Copyright (c) 2015 Daniel C. Bünzli. All rights reserved.
   Distributed under the BSD3 license, see license at the end of the file.
   %%NAME%% release %%VERSION%%
  ---------------------------------------------------------------------------*)

(* Simple generators according to:

   Kiselyov, Peyton-Jones, Sabry
   Lazy v. Yield: Incremental, Linear Pretty-printing

mseri

# -*- mode: ruby -*-
# vi: set ft=ruby :

# All Vagrant configuration is done below. The "2" in Vagrant.configure
# configures the configuration version (we support older styles for
# backwards compatibility). Please don't change it unless you know what
# you're doing.
Vagrant.configure("2") do |config|
  config.vm.box = "boxcutter/ubuntu1604-desktop"

mseri

Keybase proof

I hereby claim:

• I am mseri on github.
• I am mseri (https://keybase.io/mseri) on keybase.
• I have a public key whose fingerprint is 4DFF F06D F74F DE5E 6AD4 B2F7 05C0 CD01 5D10 C4B4

To claim this, I am signing this object:

mseri

mseri

# -*- mode: ruby -*-
# vi: set ft=ruby :

Vagrant.configure(2) do |config|
  config.vm.box = "debian/jessie64"
  config.vm.network "forwarded_port", guest: 80, host: 9090

  config.vm.synced_folder "data", "/shared_data"

  # Install nixos package manager - nix - (for provisioning purposes?)

mseri

#!/usr/bin/env python3
"""Generates a stub for a markdown pelican article."""

import click

from datetime import datetime
from os import listdir

TEMPLATE = """Id: {aid}
Title: {title}