LibHunt's Agda Newsletter

A weekly report of the trending Agda projects

👨‍💻👩‍💻 22,064 people have subscribed already.
One click unsubscribe.

Why Subscribe to
LibHunt's Agda Newsletter?

  1. To keep your Agda knowledge updated
  2. To receive weekly reports with trending projects
  3. So that you don't miss out what is going on in the community

Thanks for the interest!

We will give our best to make this valuable to you!