Fix formatting
This commit is contained in:
parent
499260ff79
commit
bacafe58c7
@ -1,4 +1,4 @@
|
|||||||
###Index
|
### Index
|
||||||
* [Ada](#ada)
|
* [Ada](#ada)
|
||||||
* [Agda](#agda)
|
* [Agda](#agda)
|
||||||
* [Alef](#alef)
|
* [Alef](#alef)
|
||||||
|
Loading…
x
Reference in New Issue
Block a user