Pitometsu

{
  "keymap": [
    {
      "keyCode": 30,
      "label": "1",
      "extraLabel": "!"
    },
    {
      "keyCode": 31,
      "label": "2",

Pitometsu

{
  "keymap": [
    {
      "keyCode": 2079,
      "label": "@"
    },
    {
      "keyCode": 2078,
      "label": "!"
    },

Pitometsu

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE PolyKinds #-}

import Data.Kind (Constraint)

type family All (c :: k -> Constraint) ts :: Constraint where All c '[] = (); All c (t:ts) = (c t, All c ts)

Pitometsu

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE UnicodeSyntax #-}

Pitometsu

type _ num =
  | Zero : zero num
  | Succ : ('a num) -> 'a plus num
and _ plus = Plus : 'a num -> 'a plus
and zero = [ ]
;;
type _ even =
  | Even_0 : zero num even
  | Even_S : 'a num odd -> 'a plus num even
and _ odd =

Pitometsu

let
  overlays = [
    (self: super: with self; {
      coq = coq_8_10;
      coq_8_10 = (super.coq_8_10.override { buildIde = false; });
      coqPackages = coqPackages_8_10;
      coqPackages_8_10 = (super.coqPackages_8_10.overrideScope' (self: super: {
        inherit coq;
      }));
    })

Pitometsu

  macos-ld-fix = stdenv.mkDerivation {
    name = "macos-ld-fix";
    src = null;
    unpackPhase = "true";
    dontBuild = true;
    installPhase = ''
      mkdir -p $out/opt/local/lib
    '';
  };

Pitometsu

module type M = sig

  module type S

  module S : S

end

;; module type M = sig module type S module S : S end

Pitometsu

OCaml

Guides

https://ocaml.org/learn/tutorials/

https://www2.lib.uchicago.edu/keith/ocaml-class/

http://www.cs.cornell.edu/courses/cs3110/2019sp/textbook/

http://mirror.ocamlcore.org/ocaml-tutorial.org/

https://caml.inria.fr/pub/docs/manual-ocaml-4.07/

http://blog.ezyang.com/2010/10/ocaml-for-haskellers/

https://www.tutorialspoint.com/compile_ocaml_online.php

http://ocaml.github.io/ocamlunix/index.html

Pitometsu

(self: super:
  let
    stdenv = let stdenv = super.overrideCC super.stdenv super.gcc8; in
             stdenv.override { cc = super.stdenv.cc; };
  in {
    inherit stdenv;
  })
  #   stdenv = gcc8Stdenv.override {
  #   cc = gcc8Stdenv.override {
  #     inherit (self) libc;