Add Z3 requirement to README.

plclub · Aug 23, 2023 · f2448ba · f2448ba
1 parent 3d692b3
commit f2448ba
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -6,6 +6,7 @@ extended with datatypes, recursive global functions, and level inference.
 ## Installation
 
 This project requires Stack and Cabal, and has been tested with GHC 9.2.7.
+It also uses Z3 to solve level constraints, and has been tested with version 4.12.1.
 To compile the type checker, run `stack build`.
 To check a file `<file>`, run `stack exec -- stratt <file>`.
 If successful, the definitions in that file will be printed out