Skip to content
Snippets Groups Projects
Commit 8564629b authored by belazy's avatar belazy Committed by loutr
Browse files

Resolve "Make `whnf()` less agressive" ✨️

Closes #34 🐔️👍️
Approved-by: default avataraalbert <augustin.albert@bleu-azure.fr>
Approved-by: default avatarv-lafeychine <vincent.lafeychine@proton.me>
Approved-by: default avatarloutr <loutr@crans.org>

🦀️🍰🦀️🍰🦀️🍰

* feat: coverage

* chore : refactor

* chore : better comments

* chore :  more comments

* feat : more improvements

* feat: uwu

* Feat : don't traverse whnfs when they're syntactically equal

* feat : make whnf() less agressive
parent 74a80de4
1 merge request!49Resolve "Make `whnf()` less agressive"
Pipeline #11750 canceled with stages
in 1 minute and 2 seconds