Timeline for Relating a proof to a Haskell program
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 15, 2018 at 16:57 | vote | accept | Patrick Browne | ||
| Sep 22, 2018 at 21:00 | history | tweeted | twitter.com/StackCompSci/status/1043605988765564928 | ||
| Sep 22, 2018 at 17:18 | answer | added | Musa Al-hassy | timeline score: 5 | |
| Sep 22, 2018 at 16:07 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 113 characters in body
|
| Sep 22, 2018 at 15:56 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 143 characters in body
|
| Sep 22, 2018 at 15:09 | history | edited | Patrick Browne | CC BY-SA 4.0 |
edited title
|
| Sep 22, 2018 at 14:57 | history | edited | Patrick Browne |
edited tags
|
|
| Sep 22, 2018 at 14:40 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 21 characters in body
|
| Sep 22, 2018 at 14:30 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 21 characters in body
|
| Sep 22, 2018 at 11:53 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 1 character in body
|
| Sep 22, 2018 at 11:28 | history | edited | Patrick Browne | CC BY-SA 4.0 |
added 80 characters in body
|
| Sep 22, 2018 at 11:22 | history | asked | Patrick Browne | CC BY-SA 4.0 |