Closed jmininger closed 1 year ago
The ghcjs perf for the filtering seems to be noticeably worse than the native version. This should at least improve the UX for the user
The ghcjs perf for the filtering seems to be noticeably worse than the native version. This should at least improve the UX for the user