Merge pull request #331 from turion/dev_koans

Final changes to make rhine-koans the new main documentation resource

README.md

@@ -104,17 +104,22 @@ would be:
 * `rhine-terminal/`: A wrapper library to [`terminal`](https://hackage.haskell.org/package/terminal), a library to write terminal applications.
 * `rhine-examples/`: Different examples as a starting point to learn Rhine.
 
-## Documentation
+## Learn Rhine
 
-The best way to learn about Rhine is currently the [article _Rhine: FRP with Type-Level Clocks_](https://www.manuelbaerenz.de/files/Rhine.pdf).
+The recommended way to start is the https://github.com/turion/rhine-koans/ tutorial.
+It leads you through basic and advanced Rhine concepts by solving many self-contained puzzles.
 
-For a quick reference of the most important concepts,
+For a quick reference of the most important functions, operators, and concepts,
 see the [cheatsheet](https://github.com/turion/rhine/blob/master/CHEATSHEET.md).
 
-### Additional documentation
+### Documentation resources
 
+* https://www.tweag.io/blog/2023-10-12-rhine-bayes/: A blog post about how to do machine learning with Rhine.
+* https://github.com/turion/rhine/tree/master/rhine-examples/src: Many self-contained examples showcasing typical Rhine concepts in an idiomatic style.
+* The research article [Rhine: FRP with Type-Level Clocks](https://www.manuelbaerenz.de/files/Rhine.pdf) is not quite up to date with the most recent changes,
+  but gives a good overview behind the concepts and design ideas.
+* [`hackage`](https://hackage.haskell.org/package/rhine): Reference documentation
 * [`stackage`](https://www.stackage.org/package/rhine)
-* [`hackage`](https://hackage.haskell.org/package/rhine)
 * https://github.com/turion/rhine-tutorial: Presentation and tutorial app
 * https://github.com/turion/sonnendemo: Demo application
 

rhine-bayes/rhine-bayes.cabal

@@ -1,5 +1,5 @@
 name: rhine-bayes
-version: 1.4
+version: 1.4.0.1
 synopsis: monad-bayes backend for Rhine
 description:
   This package provides a backend to the @monad-bayes@ library,
@@ -37,7 +37,7 @@ library
     log-domain >=0.12,
     mmorph ^>=1.2,
     monad-bayes ^>=1.3,
-    rhine ==1.4,
+    rhine ^>=1.4,
     transformers >=0.5
 
   hs-source-dirs: src
@@ -72,7 +72,7 @@ executable rhine-bayes-gloss
     monad-bayes,
     rhine,
     rhine-bayes,
-    rhine-gloss ==1.4,
+    rhine-gloss ^>=1.4,
     time,
     transformers
 

rhine-examples/rhine-examples.cabal

@@ -26,7 +26,7 @@ executable HelloWorld
 
   build-depends:
     base >=4.14 && <4.20,
-    rhine ==1.4
+    rhine ^>=1.4
 
   default-language: Haskell2010
   default-extensions: TypeOperators
@@ -45,7 +45,7 @@ executable Demonstration
 
   build-depends:
     base >=4.14 && <4.20,
-    rhine ==1.4
+    rhine ^>=1.4
 
   default-language: Haskell2010
   default-extensions: TypeOperators
@@ -64,7 +64,7 @@ executable ADSR
 
   build-depends:
     base >=4.14 && <4.20,
-    rhine ==1.4
+    rhine ^>=1.4
 
   default-language: Haskell2010
   default-extensions: TypeOperators
@@ -84,7 +84,7 @@ executable Ball
   build-depends:
     base >=4.14 && <4.20,
     random >=1.1,
-    rhine ==1.4
+    rhine ^>=1.4
 
   default-language: Haskell2010
   default-extensions:
@@ -109,7 +109,7 @@ executable Periodic
   build-depends:
     base >=4.14 && <4.20,
     monad-schedule >=0.1,
-    rhine ==1.4,
+    rhine ^>=1.4,
     transformers >=0.5
 
   default-language: Haskell2010
@@ -130,7 +130,7 @@ executable EventClock
   build-depends:
     base >=4.14 && <4.20,
     random >=1.1,
-    rhine ==1.4
+    rhine ^>=1.4
 
   default-language: Haskell2010
   default-extensions: TypeOperators
@@ -149,7 +149,7 @@ executable Sawtooth
 
   build-depends:
     base >=4.14 && <4.20,
-    rhine ==1.4
+    rhine ^>=1.4
 
   default-language: Haskell2010
   default-extensions: TypeOperators
@@ -169,7 +169,7 @@ executable RandomWalk
   build-depends:
     base >=4.14 && <4.20,
     random >=1.1,
-    rhine ==1.4,
+    rhine ^>=1.4,
     simple-affine-space
 
   default-language: Haskell2010

rhine-gloss/rhine-gloss.cabal

@@ -1,7 +1,7 @@
 -- Initial rhine-gloss.cabal generated by cabal init.  For further
 -- documentation, see http://haskell.org/cabal/users-guide/
 name: rhine-gloss
-version: 1.4
+version: 1.4.0.1
 synopsis: Gloss backend for Rhine
 description:
   This package provides a simple wrapper for the `gloss` library,
@@ -42,7 +42,7 @@ library
     gloss >=1.12,
     mmorph >=1.1,
     monad-schedule >=0.1,
-    rhine ==1.4,
+    rhine ^>=1.4,
     transformers >=0.5
 
   hs-source-dirs: src

rhine-terminal/rhine-terminal.cabal

@@ -1,7 +1,7 @@
 -- Initial rhine-gloss.cabal generated by cabal init.  For further
 -- documentation, see http://haskell.org/cabal/users-guide/
 name: rhine-terminal
-version: 1.4
+version: 1.4.0.1
 synopsis: Terminal backend for Rhine
 description: This package provides an example of a `terminal` based program using rhine.
 license: BSD3
@@ -30,7 +30,7 @@ library
     base >=4.11 && <4.20,
     exceptions >=0.10.4,
     monad-schedule >=0.1.2,
-    rhine ==1.4,
+    rhine ^>=1.4,
     terminal >=0.2.0.0,
     time >=1.9.3,
     transformers >=0.5
@@ -48,7 +48,7 @@ executable rhine-terminal-simple
   ghc-options: -threaded
   build-depends:
     base >=4.14 && <4.20,
-    rhine ==1.4,
+    rhine ^>=1.4,
     rhine-terminal,
     terminal >=0.2.0.0,
     text >=1.2,
@@ -74,7 +74,7 @@ test-suite rhine-terminal-tests
     base >=4.14 && <4.20,
     exceptions >=0.10.4,
     hspec,
-    rhine ==1.4,
+    rhine ^>=1.4,
     rhine-terminal,
     stm >=2.5.0,
     terminal >=0.2.0.0,

rhine/rhine.cabal

@@ -1,6 +1,6 @@
 cabal-version: 2.2
 name: rhine
-version: 1.4
+version: 1.4.0.1
 synopsis: Functional Reactive Programming with type-level clocks
 description:
   Rhine is a library for synchronous and asynchronous Functional Reactive Programming (FRP).