barakb/servis

Github project where I track everything related to my thesis

Servis

Servis is a port of https://github.com/haskell-servant/servant in idris.

By porting to idris, we can do cool stuff with dependent types!