As outlined by Eelco Visser.
Will then need to change the docs in here considerably.
Have submitted https://github.com/metaborg/documentation/pull/44 and pared down the docs here in ae0a798c7b.
ae0a798c7b
No due date set.
This issue currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?
As outlined by Eelco Visser.
Will then need to change the docs in here considerably.
Have submitted https://github.com/metaborg/documentation/pull/44 and pared down the docs here in
ae0a798c7b
.