@psnively perhaps likely, but all of these high level phrases are sort of puzzling because their semantic content doesn't tell you much
-
@krismicinski@dibblego@psnively then use Agda instead :)
@copumpkin @krismicinski @psnively Haha best response. Seriously what does what it "feels like" become relevant? I ain't no homeopath.
-
-
@dibblego@copumpkin@psnively I agree Agda definitely forces you to get closer to things that look like programs.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego@krismicinski@psnively writing proofs (even in Agda) definitely involves different "muscles" than those used in e.g., Haskell -
@copumpkin@dibblego@psnively yes, just because you're a good functional programmer doesn't automatically make you a good prover. - Show replies
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.