It's come to my attention that some people have been spamming issue trackers with a link to this gist. While it's a good idea to inform people of the situation in principle, please do not do this. By all means spread the word in the communities that you are a part of, after verifying that they are not aware yet, but unsolicited spam is not helpful. It will just frustrate people.
A number of things have happened since the last update.
| // cargo-deps: hsl, image, csv = "1.0.0-beta.4", serde, serde_derive | |
| // ~~~ PUBLIC DOMAIN ~~~ | |
| // I, the copyright holder of this work, hereby release it | |
| // into the public domain. This applies worldwide. | |
| // In case this is not legally possible, I grant any entity | |
| // the right to use this work for any purpose, without any | |
| // conditions, unless such conditions are required by law. | |
| extern crate csv; |
| module reornament | |
| -- Idris translation of Agda code: | |
| -- https://gist.github.com/gallais/e507832abc6c91ac7cb9 | |
| -- Which follows Conor McBride's Ornaments paper: | |
| -- https://personal.cis.strath.ac.uk/conor.mcbride/pub/OAAO/Ornament.pdf | |
| ListAlg : Type -> Type -> Type | |
| ListAlg A B = (B, A -> B -> B) |
| 13:15 <xQuasar> | HASKELL IS FOR FUCKIN FAGGOTS. YOU'RE ALL A BUNCH OF | |
| | FUCKIN PUSSIES | |
| 13:15 <xQuasar> | JAVASCRIPT FOR LIFE FAGS | |
| 13:16 <luite> | hello | |
| 13:16 <ChongLi> | somebody has a mental illness! | |
| 13:16 <merijn> | Wow...I suddenly see the error of my ways and feel | |
| | compelled to write Node.js! | |
| 13:16 <genisage> | hi | |
| 13:16 <luite> | you might be pleased to learn that you can compile | |
| | haskell to javascript now |