Skip to content

Instantly share code, notes, and snippets.

@cakemanny
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
@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"]