From 745f23fc358d9b4a4dde703bc3310e334b625ac0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20B=C3=A4renz?= Date: Fri, 29 Nov 2024 15:57:47 +0100 Subject: [PATCH] Update changelog --- rhine/ChangeLog.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/rhine/ChangeLog.md b/rhine/ChangeLog.md index e14d7e5e..852570d5 100644 --- a/rhine/ChangeLog.md +++ b/rhine/ChangeLog.md @@ -1,5 +1,10 @@ # Revision history for rhine +## Upcoming + +* Removed `SN` GADT in favour of semantic functions, for a > 100x speedup in some benchmarks + (https://github.com/turion/rhine/pull/348) + ## 1.5 * Added `forever` utility for recursion in `ClSFExcept`