@edwinbrady hah! So how is that going to play with totality checking for proofs? Are corecursive proofs supported?
-
-
-
@cayleehogg For now, it compiles codata lazily and refuses to reduce at compile time. I'm aiming to add a productivity check before bedtime. - 2 more replies
New conversation -
-
-
@edwinbrady does the parser ignore it and replace with data :P -
@ozgurakgun :-PPPP. (It did, briefly...)
End of conversation
New conversation -
-
-
@edwinbrady They will, but they will then just switch to asking about another feature it doesn't have. -
@john_d_thomson That seems to be how development happens...
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.