Sign In
programming-languages/agda
All Topics
programming-languages
Add New Item
Items:
Programming Language Foundations in Agda (2018)
(plfa.github.io)
Books
0 Reviews
Showing
1
Items
Quick searches
:
Learning Plans
|
Courses
|
Videos
|
Learn By Doing
|
Books
|
Challenging
|
Visual
|
All
Type
Apps and Software Tools
Articles and Essays
Audios and Podcasts
Blogs and Twitter feeds
Books
Assessment and Certifications
Forums and Chat Groups
Cheatsheets
Code
Conferences
Courses and MOOCs
FlashCards
Games
Pictures and Infographics
Interactives and Explorables
Journals and Magazines
Learning Plans
Livestreams
Meetups
Newsletters
People
Q & A forums
Research Papers
Summary or notes
Videos and Films
Websites
Wikis
Discussion Threads
Projects
Online Meetups
Online Conferences
Things and Toys
Length
Any Length
Less than 5 minutes
5 to 15 minutes
15 to 30 minutes
30 to 60 minutes
1 to 3 hours
More than 3 hours
Quality
Any Quality
inspirational
educational
challenging
entertaining
visual
interactive
