文件名称：idris2-webidl:WebIDL文档的解析器和（最终）Idris代码生成器
文件大小：268KB
文件格式：ZIP
更新时间：2024-04-02 21:20:12
HTML
idris2-webidl WebIDL文档的解析器和（最终）Idris代码生成器
【文件预览】：
idris2-webidl-main
----test.ipkg(479B)
----LICENSE(1KB)
----src()
--------Test()
--------Text()
----spec()
--------webidl.html(2.06MB)
--------grammar(9KB)
----.gitignore(12B)
----webidl.ipkg(376B)
----README.md(83B)