[ fix #1743 ] move README to `doc/` directory - #2184

Merged

MatthewDaggitt merged 12 commits into

agda:masterfrom

gallais:issue1743

Nov 5, 2023

Commits on Oct 26, 2023

[ admin ] dev playground
gallais
committed
00dc06c
[ fix #1743 ] move README to doc/ directory
gallais
committed
7eaabc2
[ fix ] whitespace violations
gallais
committed
98843ee
[ ci ] update to cope with new doc/ directory
gallais
committed
8c055de
[ cleanup ] remove stale reference to travis.yml
gallais
committed
dd6cf79
[ admin ] update README-related instructions
gallais
committed
ad47e19
[ admin ] fix build badges
gallais
committed
04f3be1

Commits on Oct 30, 2023

[ fix ] `make test` build
gallais
committed
561d924

Commits on Nov 1, 2023

Merge branch 'master' into issue1743
MatthewDaggitt
committed
ec1c00d

Commits on Nov 3, 2023

Merge branch 'master' into issue1743
MatthewDaggitt
committed
059c659

Commits on Nov 5, 2023

Moved contents of notes/ to doc/
MatthewDaggitt
committed
f7f8e5d
Added CHANGELOG entry
MatthewDaggitt
committed
5f3f0b3