bbarker/LearningAgda

Agda learning repo with some handy nix expressions

Nix