Haskell Weekly on Nostr: Using Isabelle (a non-dependently typed proof assistant) to verify Haskell code ...

Using Isabelle (a non-dependently typed proof assistant) to verify Haskell code

https://thehighergeometer.wordpress.com/2024/09/13/type-theoretic-considerations-in-functional-language-software-development/

Discussions: https://discu.eu/q/https://thehighergeometer.wordpress.com/2024/09/13/type-theoretic-considerations-in-functional-language-software-development/

#haskell #programming