Agda 中文文档

Yongshun Shreck Ye ShreckYe

Kotlin full stack developer, programming language theory / type theory enthusiast

Chengdu

Follow

Follow

一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

Follow

魂辛カラ tamakara

Guangdong Polytechnic Normal University Guangdong

Follow

Oswald OswaldXia

Follow

kirraObj CziSKY

before my body is dry.

Gensokyo

Follow

starxcc starxingchenc

Follow