publish version 0.9.0

lorepozo · Dec 18, 2023 · 41933cd · 41933cd
1 parent d94cf98
commit 41933cd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "programinduction"
-version = "0.8.0"
+version = "0.9.0"
 edition = "2021"
 authors = ["Lore Anaya Pozo <[email protected]>"]
 license = "MIT"

diff --git a/README.md b/README.md
@@ -16,9 +16,9 @@ In a new or existing project, add the following to your `Cargo.toml`:
 
 ```toml
 [dependencies]
-programinduction = "0.8"
+programinduction = "0.9"
 # many examples also depend on polytype for the tp! and ptp! macros:
-polytype = "6.1"
+polytype = "7.0"
 ```
 
 The documentation requires a custom HTML header to include KaTeX for math