stevan's repositories

  • expression-problem — Trying to solve the expression problem using containers
  • labelled-containers — A universal algebra inspired toolkit for working with datatypes in type theory
  • system-e — A system for effectful programming