yuyan icon indicating copy to clipboard operation
yuyan copied to clipboard

Published 20 hours ago • verified publisher icon yuyan-lang

还是希望再加一列 Agda 或者 Coq 语法的对照表

Open UltimatePea opened this issue 11 months ago • 0 comments

UltimatePea avatar Mar 08 '24 20:03 UltimatePea