From 41933cd46a22ba5d78ba3f2d0f2fca18a4ada375 Mon Sep 17 00:00:00 2001
From: Lore Anaya Pozo <lore.a.pozo@outlook.com>
Date: Mon, 18 Dec 2023 08:52:10 -0500
Subject: [PATCH] publish version 0.9.0

---
 Cargo.toml | 2 +-
 README.md  | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index 686ab42..abfbb9e 100644
--- 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 <lore.a.pozo@outlook.com>"]
 license = "MIT"
diff --git a/README.md b/README.md
index 6e58afd..dc4e5a4 100644
--- 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