CHANGES:
Mon Sep 5 10:57:53 JST 2022
- Add [Lwd_seq.sort_uniq] function
- Make [Lwd_seq.t] injective
- Fix a bug breaking invariants in Lwd_table.remove
- Documentation update contributed by @shubhamkumar13
- Option to disable the default Quit behavior of Nottui contributed by @OhadRau
Contributors
OhadRau and shubhamkumar13