欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
HTML5/forms
来自开放百科 - 灰狐
HTML5 Forms
Forms(表单)：覆盖新input类型的支持，datalist支持，autofocus和placeholder等属性的支持，解藕表单、表单选项、表单验证机制、限止验证和新的CSS选取器等等。
链接
<discussion>characters_max=300</discussion>
分享您的观点
