This section was guest-written by Kiana Sheibani. In the tutorial proper, when discussing functions, Idris 2's quantity system was introduced. The description was intentionally a bit simplified - the ...
The following is a checklist of steps to perform before merging the pull request. At any point, if you're not sure what to do, request a review from one of the PR leaders. ## Check branch PR should be ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback