#Haskell: composable code#Scheme: decomposable code
if you think the former is more desirable than the latter, then I got a theorem prover to sell to you dressed as a programming language
@rml nah, theories compose quite badly
@dpwiz I was thinking more of Idris, but you're right, its a stretch to call it a theorem prover
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.
@dpwiz I was thinking more of Idris, but you're right, its a stretch to call it a theorem prover