candid:互联网计算机的坦率图书馆
需积分: 9 112 浏览量
2021-04-08
04:05:27
上传
评论
收藏 262KB ZIP 举报
candid:互联网计算机的坦率图书馆 （185个子文件） 
_CoqProject 27B index.adoc 39KB candid-types.adoc 24KB candid-concepts.adoc 15KB candid-howto.adoc 10KB candid-intro.adoc 1KB candid-ref.adoc 592B candid.css 1KB random.dhall 974B construct.test.did 18KB prim.test.did 13KB reference.test.did 6KB overshoot.test.did 1KB linkedup.did 825B example.did 666B example.did 635B recursion.did 370B recursion.did 368B unicode.did 322B fieldnat.did 313B unicode.did 310B fieldnat.did 306B recursive.did 162B actor.did 156B not_func.did 156B actor.did 147B prim_types.did 140B cyclic.did 125B cyclic.did 123B escape.did 123B class.did 115B escape.did 114B class.did 110B comment.did 107B collision_fields2.did 95B bad_comment.did 76B not_serv.did 76B oneway.did 72B recursive_class.did 64B collision_fields.did 62B undefine.did 60B recursive_class.did 58B didjs.did 58B invalid_cyclic.did 49B surrogate.did 38B invalid_id.did 36B comment.did 17B dune 121B dune-project 32B collision_fields2.fail 84B collision_fields.fail 65B surrogate.fail 64B bad_comment.fail 48B not_serv.fail 42B oneway.fail 41B not_func.fail 34B invalid_cyclic.fail 29B undefine.fail 26B .gitignore 194B .gitignore 82B .gitignore 22B .gitignore 15B candid.js 5KB webpack.config.js 2KB example.js 1KB recursion.js 778B fieldnat.js 727B unicode.js 598B index.js 424B actor.js 357B class.js 354B cyclic.js 281B escape.js 273B recursive_class.js 271B comment.js 22B sources.json 1KB dfx.json 849B package.json 333B grammar.lalrpop 9KB LICENSE 11KB LICENSE 11KB LICENSE 11KB LICENSE 11KB Cargo.lock 63KB Candid.md 51KB config.md 6KB IDL-Soundness.md 6KB CODE_OF_CONDUCT.md 5KB CONTRIBUTING.md 5KB Changelog.md 4KB README.md 3KB candiff-CLI-tool.md 3KB README.md 2KB README.md 2KB README.md 939B bug_report.md 729B feature_request.md 652B README.md 639B README.md 509B README.md 448B共 185 条
- 1
- 2
资源评论
