Learning Programming Languages Agda moved to https://github.com/steshaw/learning-agda Erlang moved to https://github.com/steshaw/learning-erlang Go[lang] moved to https://github.com/steshaw/learning-go Haskell moved to https://github.com/steshaw/learning-haskell Idris moved to https://github.com/steshaw/learning-idris Java moved to https://github.com/steshaw/learning-java Nix moved to https://github.com/steshaw/learning-nix OCaml moved to https://github.com/steshaw/learning-ocaml Rust moved to https://github.com/steshaw/learning-rust Scala moved to https://github.com/steshaw/learning-scala Typesetting languages moved to https://github.com/steshaw/learning-typesetting