**blake shaw 🇵🇸** @rml@functional.cafe · Aug 24, 2023, 18:16

**blake shaw 🇵🇸** @rml@functional.cafe · Aug 24, 2023, 18:16

blake shaw 🇵🇸 @rml@functional.cafe

#Haskell: composable code
#Scheme: decomposable code

**blake shaw 🇵🇸** @rml@functional.cafe · Aug 24, 2023, 18:27

**blake shaw 🇵🇸** @rml@functional.cafe · Aug 24, 2023, 18:27

blake shaw 🇵🇸 @rml@functional.cafe

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

**l'empathie mécanique** @dpwiz@social.cleverlibre.org · 2023-08-24T18:38:48Z

l'empathie mécanique @dpwiz@social.cleverlibre.org

@rml nah, theories compose quite badly

**blake shaw 🇵🇸** @rml@functional.cafe · Aug 24, 2023, 18:47

**blake shaw 🇵🇸** @rml@functional.cafe · Aug 24, 2023, 18:47

blake shaw 🇵🇸 @rml@functional.cafe

@dpwiz I was thinking more of Idris, but you're right, its a stretch to call it a theorem prover