From 165e637bc5acb4ef295a1ec315f3943697d7ba28 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= Date: Wed, 20 Sep 2017 15:51:16 +0200 Subject: [PATCH] Instructions for installing AutoSubst. --- README.md | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/README.md b/README.md index 095ac4d..178beaa 100644 --- a/README.md +++ b/README.md @@ -145,6 +145,15 @@ opam update opam install -j4 -v coq.8.5.3 ``` +Please also install François Pottier's +[variant](https://github.com/fpottier/autosubst) +of the +[AutoSubst](https://www.ps.uni-saarland.de/autosubst/) library: +```bash +git clone git@github.com:fpottier/autosubst.git +make -C autosubst install +``` + ## Bibliography [Types and Programming Languages](https://mitpress.mit.edu/books/types-and-programming-languages),