From 91ea4a95c252ac9053cdadba4a0fcb6251d407c4 Mon Sep 17 00:00:00 2001 From: Yiyun Liu Date: Thu, 26 Jun 2025 16:19:14 -0400 Subject: [PATCH] Add new inductive.pdf --- repl25-notes/inductive.pdf | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/repl25-notes/inductive.pdf b/repl25-notes/inductive.pdf index f1f929a..df35540 100644 --- a/repl25-notes/inductive.pdf +++ b/repl25-notes/inductive.pdf @@ -1,3 +1,3 @@ version https://git-lfs.github.com/spec/v1 -oid sha256:2de6573a21ebd8f42e9aba8285592359997570100dcbd49205836049590ba660 -size 289289 +oid sha256:fcab66eddf4056a3c8799117ba45147da562cf7541eebadf56fbce1ad5f03f84 +size 308830