Is this a mistake?

Question

Is this a mistake?

Jvp2001 opened this issue a year ago · comments

jvp2001 commented a year ago

I have only started type level programming fairly recently; I was wondering if the FilterNum example in the readme file is missing the infer keywords before Head and Tail.

jvp2001 · Answer 1 · Fri Jun 09 2023 00:52:47 GMT+0800 (China Standard Time)

I made a pull request.

Alice T'Poteat · Answer 2 · Wed Jul 05 2023 07:18:21 GMT+0800 (China Standard Time)

Thanks so much! Merged.