add Coq typeclass index problem draft

[web.git] / personal / projects / index.md

diff --git a/personal/projects/index.md b/personal/projects/index.md
index aeb614ef961a6523d2ba525b344212d3b4338500..72fbb7cd97929096c382b20ed3f14c1b76e5e668 100644 (file)
--- a/personal/projects/index.md
+++ b/personal/projects/index.md
@@ -4,7 +4,7 @@ title: Projects
 
 This page lists some of the tools I wrote, mostly for my own purposes:
 To solve some issue I was having, or to facilitate my daily computer usage.
 
 This page lists some of the tools I wrote, mostly for my own purposes:
 To solve some issue I was having, or to facilitate my daily computer usage.

-The tools were usually not written with general reusability in mind.
+The tools were usually not written with general re-usability in mind.

 But maybe you are having just the same problem as I did, in which case I hope they can be helpful.
 
 * [LiLaSS](lilass/): A simple xrandr-based application to configure laptop screens on Linux. If you are using a
 But maybe you are having just the same problem as I did, in which case I hope they can be helpful.
 
 * [LiLaSS](lilass/): A simple xrandr-based application to configure laptop screens on Linux. If you are using a