Daniel Golding cakemanny

cakemanny / Dockerfile

Created April 6, 2025 07:54

Unix socket between k8s pod and local host

	FROM golang:1.23 AS builder
	WORKDIR /work
	COPY client.go .
	RUN go build client.go

	FROM debian:bookworm-slim
	WORKDIR /app
	COPY --link --from=builder /work/client /app/client
	CMD ["./client"]

cakemanny / Unifier.hs

Created August 10, 2017 21:55

Unification Algorithm in Haskell

	module Main where

	import Data.List (intersperse)

	type Name = String
	type Equations = [(Expr,Expr)]

	data Expr
	= Func Name [Expr] -- if [Expr] is [], then it's a constant
	\| Var Name