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!
arianvp / servis
Licence: other
Github project where I track everything related to my thesis
Stars: ✭ 27
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].