文件名称: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)