Fix typo

utensil · Nov 21, 2024 · 98111db · 98111db
1 parent 389d076
commit 98111db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/trees/uts-0018.tree b/trees/uts-0018.tree
@@ -29,7 +29,7 @@
 
 \mdblock{11-12~11-19}{
 - experiments on using [aider](https://aider.chat/) for LLM assisted project-level pair programming
-    - [this PR](https://github.com/utensil/lean4_jupyter/pull/2) is a most extensive onehttps://github.com/pygae/galgebra/pull/528
+    - [this PR](https://github.com/utensil/lean4_jupyter/pull/2) is a most extensive one
 - finish citation trace for GAlgebra, see [this PR](https://github.com/pygae/galgebra/pull/528) for relevant readings
 - found \citek{riccardo2024towards}, cat for DL
 - found [Cario](https://www.cairo-lang.org/), a provable Rust-like language