 |
Post Ansfe0Zc9iiX0MmYM4 by [email protected] |
 |
More posts by [email protected] |
|
Post #AnsfdzAlMdFCf09Byq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I often read on the Internet - and I realise that I should know by now that it&… |
|
|
|
Post #Ansfe0GTItPA2zpGW8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@edwinb "Idris is not Turing-complete because it's dependently-typed&q… |
|
|
|
Post #Ansfe0Q2jJ3qWgIuR6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@artem @edwinb Nope: |
|
|
|
Post #Ansfe0Zc9iiX0MmYM4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@wilbowma @artem @edwinb The explanation is bunk though. |
|
|
|
Post #Ansfe0jXYoenV9QTpI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@gallais @wilbowma @artem @edwinb I was not prepared for this |
|
|
|
Post #Ansfe0towase12Egqm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@mangoiv "As a dependently typed language model, I cannot ..." |
|
|
|
Post #AscoFkMsQEagy6BBS4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I once implemented Whitespace in Idris because I was the right sort of bored. P… |
|
|
|
Post #AscoFkSY597zFgpiIC by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Turing Completeness is overrated anyway. Pacman Completeness is where it's … |
