Timeline for Functional programing and intensional type theory
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 12, 2015 at 12:43 | comment | added | Daniel Barter | I can never remember if that word has a single or double m | |
| Jun 5, 2015 at 17:14 | comment | added | Mr Lister | I can't help but wonder if the "programing" was an intentional typo. | |
| Jun 5, 2015 at 15:51 | vote | accept | Daniel Barter | ||
| Jun 5, 2015 at 15:37 | answer | added | Mike Shulman | timeline score: 7 | |
| Jun 5, 2015 at 15:22 | history | asked | Daniel Barter | CC BY-SA 3.0 |