allancto

Results 77 comments of allancto

YES YES YES! But THIS is the video: [Elaborator Reflection](https://youtu.be/pqFgYCdiYz4) Could we make THIS available through language-idris? Would that be totally another feature (request)? It would be sooooo awesome! Allan

@david-christiansen, i can't seem to get past the beginning of the ER video, neither the dragon nor I are able to find a definition for bc in %runElab (bc `{qs}...

Thanks @ahmadsalim! I inserted the attachment as gist just now.

aggh link to [`ConstBool.idr`](https://gist.github.com/allancto/e7b36e19546c53302599e7cbc2c7b6d7) was broken, should work now.

David, thanks for this information, and I apologize for taking so long to respond. I would definitely like to contribute to the documentation as soon as I understand better myself...

@AyAyRon-P I'm not an expert in tax law but i believe w-9 is a general form used with 1099 to report any payments subject to tax reporting, including rewards voted...

@dckc i missed the "WHEREAS" portion of the the resolution, thank you for providing it! @barneycinnamon yes, _It is bad practice for the Coop to say things will be done...

Thanks @Ojimadu, and welcome back! As noted above, the comp-committee has said you'll meet this week to handle this issue, and Kate will process August invoices as soon as the...

@dckc that's a good suggestion. We now have an automated process for notifying all contributors immediately at the close of voting, as soon as the voted amounts are set. Finance...

UPDATE: Kate will process August invoices today at the August rhoc rate, and once the Compensation Committee meets will issue adjustments as appropriate. @Ojimadu I assigned you to this issue...