Dependently typed API servers in Haskell #1 Post by repetae » Fri, Dec 18, 2015, 2:08 AM UTC Dependently typed API servers in Haskellgithub.com