Home Sign Up Sign In
bobai

bobai

V2EX member #100988, joined on 2015-02-28 02:37:12 +08:00
agda 语言有什么优点？
程序员  •  bobai  •  Mar 11, 2015  •  Lastly replied by bobai 		12
About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Solana   ·   3198 Online   Highest 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 12ms · UTC 14:09 · PVG 22:09 · LAX 07:09 · JFK 10:09
♥ Do have faith in what you're doing.