From e1e73ace67a671b0abc88919302b2b98c282b2f9 Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Sun, 21 Jan 2024 00:04:05 +0000 Subject: idris2: remove accidental application --- yellowsquid/packages/idris.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/yellowsquid/packages/idris.scm b/yellowsquid/packages/idris.scm index 2fd4303..4615c34 100644 --- a/yellowsquid/packages/idris.scm +++ b/yellowsquid/packages/idris.scm @@ -46,7 +46,7 @@ "build/stage1/idris2_app/idris2.ss" "build/stage1/idris2_app/idris2.rkt" )) - (with-bootstrap-shortcut? (historical?))) + (with-bootstrap-shortcut? historical?)) "HISTORICAL? means that it's only interesting for historical reasons, e.g. to be used as a bootsrapping stage. -- cgit v1.2.3