idris2-webidl:WebIDL文档的解析器和(最终)Idris代码生成器

时间:2024-04-02 21:20:12
【文件属性】:

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

网友评论