https://evertedsphere.com
now at @evertedsphere
Soham Chowdhury
The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
mrkgnao
