Tim Baumann

[WIP] Add support for Agda 2.5.4

25

This addresses #42

feat: Improve performance of findBy*/findAllBy* by not generating informative error messages

1

**What**: Improve performance of findBy*/findAllBy* by not generating informative error messages in the function passed to waitFor. The work of generating these error messages almost entirely wasted because all of...

Add function for mapping over matrices

1

This would be useful for writing an example for `watershed`. (The values of the `markers` matrix in `watershed` are not colors, they are just integers representing regions in an image....

This should make it possible to * swap the Telegram API for other chat services and * to easily write tests.

When you finish the game before the AI, the AI tries to finish on its own. When running on AWS Lambda, a timeout stops this process, causing the Telegram API...

Maybe similarly to how all events on clients are visualized

Proof of correctness of addition and multiplication of Church numerals in Agda

1

Hi! I was reading _Lectures on the Curry-Howard Isomorphism_ and learning about Church encodings when I thought that proving their correctness would be a fun Agda exercise. Since I didn't...