log prepaper/src/stackImpl.agda @ 14:a63df15c9afc default tip

age author description
2020-12-08 soto init-test