Home Sign Up Sign In
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
Sign Up Now
For Existing Member  Sign In
V2EX  ›  agda
zhyd1997 Agda 在前端开发领域中的实践
问与答  •  zhyd1997  •  May 4, 2020  •  Lastly replied by YadongZhang 		1
bobai agda 语言有什么优点？
程序员  •  bobai  •  Mar 11, 2015  •  Lastly replied by bobai 		12
About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Solana   ·   954 Online   Highest 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 12ms · UTC 20:13 · PVG 04:13 · LAX 13:13 · JFK 16:13
♥ Do have faith in what you're doing.