log Paper/src/AgdaSingleLinkedStack.agda @ 0:c59202657321

age author description
2021-11-01 soto init