Leandro Ostera

A λ-man in a Von Neumann World

Software Developer at Spotify — All opinions are my own.

Essays

Projects

  • tldr.jsx - tldr-pages web client
  • mixtape - An in-sync playback experience for Spotify
  • dock.mk - An extensible Makefile for Docker project
  • tap-idris - TAP libraries for Idris
  • idris-coda - A collection of Idris packages