ska80 / idris2-server

A dependently typed server framework for Idris

Home Page:https://gitlab.com/avidela/idris-server

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ska80/idris2-server Stargazers