[doc] update used Idris commit

stefan-hoeck · Feb 27, 2021 · b1f6831 · b1f6831
1 parent 7fce6cf
commit b1f6831
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -59,7 +59,7 @@ this library makes use of functionality provided by the
 Making use of elaborator reflection, this library has to closely
 follow the latest Idris2 builds until things settle down a bit.
 This commit was built against Idris2 version 0.3.0 (commit
-8102e9e49510d783b1e9d587e97676f20802995e
+aa27ccbdb655c1c55560857ce8a92156260df62d
 )
 
 ## Limitations