Skip to content

Commit

Permalink
added README to logic
Browse files Browse the repository at this point in the history
  • Loading branch information
rssh committed Jan 30, 2024
1 parent a88c8ae commit 89d4e4b
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 2 deletions.
2 changes: 1 addition & 1 deletion build.sbt
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
val dottyVersion = "3.3.1"


ThisBuild/version := "0.9.20-SNAPSHOT"
ThisBuild/version := "0.9.20"
ThisBuild/versionScheme := Some("semver-spec")
ThisBuild/resolvers ++= Opts.resolver.sonatypeOssSnapshots

Expand Down
4 changes: 3 additions & 1 deletion logic/README.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@

Implementation of logic monad, inspired by Haskell LogicT.

documentation:
- documentation: https://rssh.github.io/dotty-cps-async/AdditionalModules.html
- API: https://rssh.github.io/dotty-cps-async/api/logic/jvm/cps/monads/logic.html

0 comments on commit 89d4e4b

Please sign in to comment.