Timeline for Dependent pattern matching
Current License: CC BY-SA 4.0
8 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 27, 2022 at 20:04 | vote | accept | Andrey | ||
Jun 27, 2022 at 8:43 | history | edited | Andrey | CC BY-SA 4.0 |
added 224 characters in body
|
Jun 27, 2022 at 8:41 | answer | added | kyo dralliam | timeline score: 5 | |
Jun 27, 2022 at 8:38 | comment | added | Andrey |
What I would like to do is to put RedNode' into current context (which I see in proof mode when using refine). I found this here stackoverflow.com/questions/27316254/…
|
|
Jun 26, 2022 at 17:12 | history | edited | ice1000♦ | CC BY-SA 4.0 |
added 3 characters in body; edited title
|
Jun 26, 2022 at 16:14 | history | edited | Andrey | CC BY-SA 4.0 |
added 110 characters in body
|
S Jun 26, 2022 at 16:02 | review | First questions | |||
Jun 26, 2022 at 17:08 | |||||
S Jun 26, 2022 at 16:02 | history | asked | Andrey | CC BY-SA 4.0 |