Hoshino Tented
Hoshino Tented
We may also _render_ the `Doc` into a string that describes what something is, like a `Nat` is a `DataCall`, and a `zero` is a `ConCall`... It can be serialized...
I tried to rewrite this, but there is not enough stuff to construct a `Unifier`: * a Reporter (`IgnoringReporter` is usable though) * a SourcePos (Maybe `SourcePos.NONE` is usable if...
👀I think this issue can now QED (Quite Eazily Done).
Smaller code: ```aya open data Unit | unit open data Nat | O | S Nat open data SomeDT Nat | m => someDT def how' {m : Nat} (a...
是不是不能让这个项目死掉？
对同一用户，是否有空间限制（或者插件数量限制）？
或者说，对上传的文件使用 POW？文件越大，那么需要的工作量可能越多？
> 全部网页接口都有POW > 所以我建议可以先审核通过才可以上传文件 我是这么打算的
下个 pr 打算整 role 了，然后就可以搞审核接口了 :+1:
关于插件状态修改： 希望请求给与状态码还是状态名称？ 个人倾向后者