Philip Wadler
Philip Wadler
Thanks, Norman. Why weren't you using both `proj₁` and `∃` from Chapter Quantifiers? Then it should work. If you submit a pull request with text or code changes that would...
(i) Thanks for thinking along these lines. Obviously, additional instructions to speed up data processing are a good idea. (ii) Since there are a finite number of built-in types, an...
Thanks for the response. The name "scrutinee" is specific and easier to understand than "motive"; good choice. You may be right that I've misunderstood the latter term. Thanks for the...
I'm not sure how I feel about this tips page. On the one hand, I'm sure some students will find it useful. On the other hand, it is quite low...
(Also, thanks to Michael and Noughtmare for putting this together!)
Thanks for noting this and proposing a fix.
Sorry about that. It's not intentional! Possibly @wenkokke can help to debug the issue.
Thanks, @damhiya . I'll leave @jsiek to comment. (Also, there are some failing checks @damhiya might want to look at.)
I see there are some issues above but I'm not sure what's causing them. @wenkokke, can you please sort it out, or if not let me know what I should...
@wenkokke I can see that all of the checks are failing with various issues, but they seem unrelated to the code changed in the pull request. What is the next...