add some license stuff

1 files changed, 1 insertions, 1 deletions

diff --git a/index.html b/index.html
index 9438330..4affd4e 100644
--- a/index.html
+++ b/index.html
@@ -19,7 +19,7 @@
 			<div id="ponder">
 				<h2>Help me ponder upon these questions</h2>
 				<h3>Help me choose licenses</h3>
-				<p>I am currently unable to decide what license should I choose for my programs and other works.  I used to use the GNU General Public License.  Then I realized that (1) the GPL causes compatibility problems with those who wish to use another [free] license (who do exist) and (2) the GPL restricts on what a user can do with a work.  I'm thinking of what freedom actually means---there are freedoms to do things and freedoms from being the object of some other person doing something.  Does software which you can't distribute in any form you wish count as free software?  I think so.  However, as <a href="https://unixsheikh.com/articles/the-problems-with-the-gpl.html">https://unixsheikh.com/articles/the-problems-with-the-gpl.html</a> explains, the GPL is based on coercing people into sharing, but coercion not effective in any field to make people actually share.  This is understandable.  I might start using the GPL again for my programs (might even be the AGPL).  However, you might wanna convince me (if you have good arguments on this) to use a license for my documents and books---I put them into the public domain, and I think that's okay.  Please mail me if you have any thoughts on this.</p>
+				<p>I am currently unable to decide what license should I choose for my programs and other works.  I used to use the GNU General Public License.  Then I realized that (1) the GPL causes compatibility problems with those who wish to use another [free] license (who do exist) and (2) the GPL restricts on what a user can do with a work.  I'm thinking of what freedom actually means---there are freedoms to do things and freedoms from being the object of some other person doing something.  Does software which you can't distribute in any form you wish count as free software?  I think so.  However, as <a href="https://unixsheikh.com/articles/the-problems-with-the-gpl.html">https://unixsheikh.com/articles/the-problems-with-the-gpl.html</a> explains, the GPL is based on coercing people into sharing, but coercion not effective in any field to make people actually share.  This is understandable.  I might start using the GPL again for my programs (might even be the AGPL).  However, you might wanna convince me (if you have good arguments on this) to use a license for my documents and books---I put them into the public domain, and I think that's okay.  Please mail me if you have any thoughts on this.  But sad examples:  Minix was permissively licensed, got abused by Intel.  The BSD stuff was permissively licensed, got abused by Apple.</p>
 				<h3>What about a pure functional Lisp dialect, with monads and similar ideas?</h3>
 				<p>I love s-expressions, as they clearly represent the structure of a program, or even natural language.  They also allow for powerful macros, enabling some Lisp dialects to have continuations and other cool stuff.  Haskell, on the other hand, is purely functional, where things that involve side effects are usually implemented with Monads.  I'm looking for an implementation that combines these.</p>
 				<h3>What about a mathematical political system?</h3>