diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2024-01-21 00:04:05 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2024-01-21 00:04:05 +0000 |
| commit | e1e73ace67a671b0abc88919302b2b98c282b2f9 (patch) | |
| tree | e629256ffb2d04ad7b1c15b3d890e968a0dcf23f | |
| parent | 198d178c70e44b83a672a9552215054a7a1966da (diff) | |
idris2: remove accidental application
| -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. |