Update project.scrbl

dannypsnl · web-flow · commit 0dfbfa8546f0 · 2022-11-12T23:30:47.000+08:00
diff --git a/project.scrbl b/project.scrbl
@@ -4,7 +4,6 @@
 
 @itemlist[
   @item{@hyperlink["https://github.com/racket-tw/sauron"]{sauron}：擴展 DrRacket，讓它支援更多常見的 IDE 需求}
-  @item{@hyperlink["https://github.com/racket-tw/k"]{k}：一個實驗中的定理證明器}
   @item{@hyperlink["https://github.com/racket-tw/syntax-extension"]{syntax-extension}：對 @code{syntax} 模組的擴展工具集}
   @item{@hyperlink["https://github.com/racket-tw/cover-badge"]{cover-badge}：生成 coverage badge 的小工具}
   ]

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,6 @@`
`4`	`4`
`5`	`5`	`@itemlist[`
`6`	`6`	`@item{@hyperlink["https://github.com/racket-tw/sauron"]{sauron}：擴展 DrRacket，讓它支援更多常見的 IDE 需求}`
`7`		`- @item{@hyperlink["https://github.com/racket-tw/k"]{k}：一個實驗中的定理證明器}`
`8`	`7`	`@item{@hyperlink["https://github.com/racket-tw/syntax-extension"]{syntax-extension}：對 @code{syntax} 模組的擴展工具集}`
`9`	`8`	`@item{@hyperlink["https://github.com/racket-tw/cover-badge"]{cover-badge}：生成 coverage badge 的小工具}`
`10`	`9`	`]`