Jonathan Chan

Out of curiosity I went to find where the error was coming from and it looks like it's here: https://github.com/cedille/cedille/blob/master/src/classify.agda#L736 I think since types effectively ignore whether an erased parameter...

I installed it through AUR, and running `(threaded?)` in Chez gives me `#t`

That was it! I had `IDRIS2_INC_CGS=chez` set and unsetting it let me compile all the way through. Is it not supposed to be set (could've sworn I copied it from...

Rather than creating a specific widget to parse events and interpret them as gestures, I think we should use existing gesture listeners like [GestureDetector](https://developer.android.com/reference/android/view/GestureDetector.SimpleOnGestureListener) on Android and [UIGestureRecognizer](https://developer.apple.com/documentation/uikit/uigesturerecognizer?language=objc) on iOS,...

@lighhw68 This is probably a different issue, since GestureDetector only interprets the MotionEvents received by the View's onTouchEvent method, which is what we currently use to send `EVENT_BUTTONXDOWN/UP` events to...

I looked into this a bit and it turns out iOS's `UISwipeGestureRecognizer` will interfere with our existing `touchesEnded:withEvent:` in that if a swipe event is registered it doesn't seem to...

Idk if reactions will prevent the stale bot from closing this so here's my comment in support of this. Emojis should probably also have alt text as well, but that...

I might've forgotten to commit the changes to sharevitalsigns, but looking at the Aug 27th commit the only changes should have been adding `POFILES` and `POWITHFILES`, so something like adding...

@mgorges Yeah, the namelists are for individual vital signs, so there's no `POWITHFILES` (or `BP` or `PO` or `RRATE`). @ddunsmuir I can successfully build the .jar file on Android studio...

Perhaps the media scanner should be called on a per-app basis, since the majority of the apps (IIRC) don't write files to the filesystem, so if an app makes a...