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:
#!/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} |
# -*- 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?) |
I hereby claim:
To claim this, I am signing this object:
# -*- 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" |
(*--------------------------------------------------------------------------- | |
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 |
(* | |
Requirement: higher, ppx_deriving.show | |
*) | |
(* | |
Lightweight higher-kinded polymorphism | |
https://ocamllabs.github.io/higher/lightweight-higher-kinded-polymorphism.pdf | |
*) | |
open Higher |
(* 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 |
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 |
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 | |