see bs-nonempty#4

Question

idkjs opened this issue 4 years ago · comments

Michael Martin · Answer 1 · Mon Aug 31 2020 03:48:42 GMT+0800 (China Standard Time)

Good catch. To get this library compiling, it should probably be migrated to Relude.

Alain Armand · Answer 2 · Mon Aug 31 2020 23:05:34 GMT+0800 (China Standard Time)

Oh, I wish I could help brother. I have not yet grokked relude as much as I have tried.