okkero

module Main

import IdrisJvm.FFI
import IdrisJvm.IO
import Java.Lang

%default total


record Java a ret where

tazjin

Nix builder for Kubernetes

Table of Contents

• Nix builder for Kubernetes
  • Overview
  • Why?
• How?

wordijp

# https://stackoverflow.com/questions/2483182/recursive-wildcards-in-gnu-make
rwildcard=$(foreach d,$(wildcard $(1:=/*)), \
		  $(call rwildcard,$d,$2) \
		  $(filter $(subst *,%,$2),$d))
# http://www.jsk.t.u-tokyo.ac.jp/~k-okada/makefile/
empty:=
space:= $(empty) $(empty)
myjoin=$(subst $(space),$2,$1)
# --------------------------------------------------
LOCAL_ROOT = http://localhost:8000/

thautwarm

module type TNT = sig
  type 'a typed_name
  val inj : string -> 'a typed_name
  val prj : 'a typed_name -> string
end

module TN : TNT = struct
  type 'a typed_name = string
  let inj = fun x -> x
  let prj = fun x -> x