Free PS-algol books, articles, documentation
- Agda Tutorial
- Programming Language Foundations in Agda - Philip Wadler, Wen Kokke
Search on GitHub
Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
---|
Latest data update: 2022-09-16
Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
---|
Latest data update: 2022-09-16