0.4.0 take 2

groupoid · Apr 4, 2022 · 3830a90 · 3830a90
1 parent b5ad0da
commit 3830a90
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/CHANGELOG b/CHANGELOG
@@ -1,7 +1,7 @@
 Changelog
 =========
 
-5 APR 2022 Version 0.4 Church Encoding:
+5 APR 2022 Version 0.4.0 Church Encoding:
 
 * Bool and Nat terms
 * Pure Core of Simply Typed Lambda Calculus in 100 LOC

diff --git a/README.md b/README.md
@@ -11,7 +11,8 @@ $ dune exec alonzo lib/test.alonzo
 
 ## STLC
 
-* <a href="https://arxiv.org/pdf/1411.1029.pdf">An overview of type theories</a> [Guallart]
+* <a href="https://media.githubusercontent.com/media/storagelfs/books/main/Origins%20of%20Intuitionism/Church/Church.%201940.pdf"> A Formulation of the Simple Theory of Types </a> [Church]
+* <a href="https://arxiv.org/pdf/1411.1029.pdf"> An overview of type theories </a> [Guallart]
 
 ## Credits
 

diff --git a/dune b/dune
@@ -1,2 +1,2 @@
 (env (dev (flags (:standard -warn-error -A))))
-(install (files lib/test.alonzo) (section share) (package alonzo))
+(install (files lib/bool.alonzo lib/nat.alonzo) (section share) (package alonzo))