diff options
| -rw-r--r-- | yellowsquid/packages/idris.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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. |