GitHub repository: stefan-hoeck/idris2-dom-mvc
Primary language: Idris
Created: 2023-07-17T12:35:53Z
Description: Single Page Web Applications in Idris