We should do this as the documentation seems to allow jumping to the source this way. Further I think it serves as a more practical entry point to the GEB project.
I've also written sections on the geb-idris and geb-agda efforts, and moved the directories so it's clear.
We should do this as the documentation seems to allow jumping to the source this way. Further I think it serves as a more practical entry point to the GEB project.
I've also written sections on the
geb-idris
andgeb-agda
efforts, and moved the directories so it's clear.I hope this is a good enough change.
Best to read this on a per commit basis.