GitHub repository: stefan-hoeck/idris2-webidl
Primary language: HTML
Created: 2021-03-12T13:00:53Z
Description: Parsers and (eventually) Idris code generator for WebIDL documents