Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for tutorials agda
agda
x
tutorials
x
0 search results found
Gentle Intro To Reflection
⭐
62
A slow-paced introduction to reflection in Agda. ---Tactics!
Write Yourself A Scheme In Agda
⭐
50
Like "Write Yourself a Scheme in 48 Hours", but in Agda
Popl19 Tutorial
⭐
23
Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
Inference In Agda
⭐
17
A tutorial on how Agda infers things
Proposal Agda Tutorial
⭐
9
Proposal for an Agda tutorial
1-0 of 0 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.