From 405ed9d6953ca2d4917bda0243ccb28152c89796 Mon Sep 17 00:00:00 2001 From: ajreynol Date: Thu, 10 Oct 2024 12:13:20 -0500 Subject: [PATCH] Revert --- NEWS.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/NEWS.md b/NEWS.md index fa86a42..c124c50 100644 --- a/NEWS.md +++ b/NEWS.md @@ -8,7 +8,7 @@ ethos 0.1.1 prerelease - Makes the `set-option` command available in proofs and Eunoia files. - Adds `--include=X` and `--reference=X` to the command line interface for including (reference) files. - Fixed the disambiguation of overloaded symbols that are not applied to arguments. -- Fixed a bug when applying operators with opaque arguments. +- Fixed the interpretation of operators that combine opaque and ordinary arguments. - Fixed a bug in the evaluation of `eo::cons` for left associative operators. ethos 0.1.0