Erik Martin-Dorel erikmd

References on OCaml

the official OCaml documentation — in particular, start with:
the so-called 99 problems in OCaml (a collection of quite standard exercises);
the Real World OCaml (an online book providing a comprehensive insight on OCaml);
the official OCaml reference manual;
it might also be useful to have by hand the URL of the doc of the Stdlib module (i.e., the module of the standard library that is always loaded by default);

Consider the following straightforward mutable queue implementation using two stacks:

type 'a adt_queue = {
  mutable head : 'a head;
  mutable tail : 'a tail;
}

In order to deploy using SSH, we need a SSH keypair. Please use an algorithm strong enough and also supported by GHA and your remote host.

You can use the command below to generate a keypair:

ssh-keygen -t ed25519 -C gha@vm-YourLogin -f ~/.ssh/id_gha

For this use case, don't use a passphrase (just type Return to select an empty passphrase).

In order to deploy using SSH, we need a SSH keypair. Please use an algorithm strong enough and also supported by GHA and your remote host.

You can use the command below to generate a keypair:

ssh-keygen -t ed25519 -C gha@vm-YourLogin -f ~/.ssh/id_gha

For this use case, don't use a passphrase (just type Return to select an empty passphrase).

Run these standard commands anytime you setup git on a new workstation.

git config --global user.name "Prénom Nom"
git config --global user.email "prenom.nom@example.com"

We assume you already configured MELPA and use-package.

Then, add the following elisp snippet in your ~/.emacs, in order to install:

	(* val type_ : Yojson.Safe.t -> [ `Plan \| `State \| `Unknown ] *)

	let type_ json =
	let module Plan = struct
	type t = {
	terraform_version : string;
	planned_values : Yojson.Safe.t;
	}
	[@@deriving of_yojson { strict = false }]
	end in

	#!/usr/bin/env python3
	"""
	License: MIT License
	Copyright (c) 2023 Miel Donkers

	Very simple HTTP server in python for logging requests
	Usage::
	./server.py [<port>]
	"""
	from http.server import BaseHTTPRequestHandler, HTTPServer