mirror of
https://github.com/namibia/free-programming-books.git
synced 2024-12-23 23:38:50 +00:00
fix Agda tutorial's title
This commit is contained in:
parent
6621c59f7f
commit
8761b6d18a
@ -351,7 +351,7 @@
|
||||
|
||||
|
||||
###Agda
|
||||
* [Agda](https://people.inf.elte.hu/divip/AgdaTutorial/Index.html)
|
||||
* [Agda Tutorial](https://people.inf.elte.hu/divip/AgdaTutorial/Index.html)
|
||||
|
||||
|
||||
###Android
|
||||
|
Loading…
Reference in New Issue
Block a user