Wu Liang

icon indicating a website link lwoo1999.github.io icon indicating an email [email protected]

icon company USTC icon location Hefei

Results 1 issues of Wu Liang

agda highlight

3 comment

![screenshot_20190128_133832](https://user-images.githubusercontent.com/25923970/51816565-0e664180-2302-11e9-92de-b3aee2b42991.png)

type-feature
status-requires-review
context-syntax
scope-compatibility