update readme

doc/spec/news.mdk

@@ -1,6 +1,13 @@
 ~ begin news
 News:
 
+* 2024-03-14: Xavier Leroy is teaching a fantastic
+  [lecture series](https://www.college-de-france.fr/fr/agenda/cours/structures-de-controle-de-goto-aux-effets-algebriques) on
+  control structures and algebraic effects at the Collège de France with many invited talks available online.
+  March 14 will be a talk on the design and compilation of efficient effect handlers in Koka.
+
+* 2024-03-04: Koka v3.1.1 released with a language server crash fix.
+
 * 2024-02-14: Koka v3.1.0 released with a concurrent build system
   and improved language service over the stdio protocol. Redesign of named effect
   typing to match the formal system more closely. See `samples/handlers/named` for examples.

readme.md

@@ -10,7 +10,7 @@
 
 _Koka v3 is a research language that is currently under development and not quite ready for production use_. 
 
-_Latest release_: v3.1.0, 2024-02-14 ([Install]).
+_Latest release_: v3.1.1, 2024-03-04 ([Install]).
 
 <a href="https://koka-lang.github.io/koka/doc/book.html#why-handlers"><img align="right" width="300" src="doc/snippet-yield.png" /></a>
 
@@ -83,6 +83,7 @@ and all previous interns working on earlier versions of Koka: Daniel Hillerströ
 
 ## Recent Releases
 
+* `v3.1.1`, 2024-03-04: Fix crash in language server; fix build on older gcc versions.
 * `v3.1.0`, 2024-02-14: New concurrent build system and improved module dependency tracking -- much faster builds.  Language Server now supports the stdio protocol via the `--language-server --lsstdio` combination of flags
 Clean up evidence vector api, remove cfc support in the C backend. Internal 
 redesign of (named) effect generation to match the formal systems more closely.

whatsnew.md

@@ -10,10 +10,15 @@ generating direct C code without needing a runtime system. To learn more:
   and running the `Koka: Open samples` command.  
   (when you start typing the command will surface to the top).
 
-### v3.1.1, 2024-03-03
+### v3.1.1, 2024-03-04
 
 - Fix crash in language server; fix build on older gcc versions.
 
+- Xavier Leroy is currently teaching a fantastic
+  [lecture series](https://www.college-de-france.fr/fr/agenda/cours/structures-de-controle-de-goto-aux-effets-algebriques) on
+  control structures and algebraic effects at the Collège de France with many invited talks available online.
+  March 14 there will be a talk on the design and compilation of efficient effect handlers in Koka.
+
 ### v3.1.0, 2024-02-14
 
 - Language Server now supports the stdio protocol via the `--language-server --lsstdio` combination of flags.