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!
Github project where I track everything related to my thesis
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!
Github project where I track everything related to my thesis