Add Agda major mod docs - Githubissues

VSpaceCode / vspacecode.github.io

VSpaceCode website

https://vspacecode.github.io

3 stars 23 forks source link

Add Agda major mod docs #59

Closed smalewski closed 2 years ago

smalewski commented 2 years ago

Documentation for https://github.com/VSpaceCode/VSpaceCode/pull/252