A while ago, someone brought in a candy machine to AdaCore ... and a small IR sensor that detects when you wave your hand underneath (in order to receive those sweet sweet candies).
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback