From f7fd0e8f089b4d9f99d900ca80412eacbc0d1a8f Mon Sep 17 00:00:00 2001
From: Kait Lam <k@rina.fyi>
Date: Tue, 12 Sep 2023 17:26:55 +1000
Subject: [PATCH] add nix.

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README.md b/README.md
index 717937fc..ad601f6b 100644
--- a/README.md
+++ b/README.md
@@ -76,6 +76,11 @@ This interpreter consists of a single directory organized as follows
   * Code copied from other open source projects
       * `libASL/visitor.ml`
 
+### Installing with Nix
+
+ASLp can be installed as a Nix package from https://github.com/katrinafyi/pac-nix.
+_asli_ provides the base ASLp and _aslp_ provides ASLp bundled with ARM's specifications.
+If you don't plan on modifying the tool, this is a fast and easy way to get started.
 
 ### Installing dependencies