Verified Functional Programming in Agda

Overview of attention for book

Association for Computing Machinery

Altmetric Badge

Book Overview

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

twitter: 14 X users
reddit: 4 Redditors

q&a: 1 Q&A thread

Readers on

mendeley: 33 Mendeley

So far, Altmetric has seen 6 Reddit threads by 4 users.

This starts with a simpler proof assistant then builds up...

User jmite, in the Computer Science: Theory and Application subreddit, 25 Aug 2020

This starts with a simpler proof assistant then builds up to Agda I think. It's meant for 2nd year undergraduates so I don't…

Verified Functional Programming in Agda

User bprogramming, in the Beginner Programming and Tech subreddit, 05 Apr 2020

Free eBook: Verified Functional Programming in Agda

User totally_100_human, in the Stories for Coding Bootcamp Students subreddit, 05 Apr 2020

Free eBook: Verified Functional Programming in Agda

User MaoStevemao, in the coding subreddit, 05 Apr 2020

This page shows the most recent Reddit threads that mention this research output. Click here to find out how to access more activity, including 2 additional Reddit threads.

Verified Functional Programming in Agda

Table of Contents

Mentioned by

Readers on

This starts with a simpler proof assistant then builds up...

User jmite, in the Computer Science: Theory and Application subreddit, 25 Aug 2020

Verified Functional Programming in Agda

User bprogramming, in the Beginner Programming and Tech subreddit, 05 Apr 2020

Free eBook: Verified Functional Programming in Agda

User totally_100_human, in the Stories for Coding Bootcamp Students subreddit, 05 Apr 2020

Free eBook: Verified Functional Programming in Agda

User MaoStevemao, in the coding subreddit, 05 Apr 2020