/WebDev-idris-template

A template showcasing Idris's ability to act as a frontend component for a website.

Primary LanguageIdris

No issues in this repository yet.