#deductiveprogramming — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #deductiveprogramming, aggregated by home.social.
-
Mangle – a language for deductive database programming
https://github.com/google/mangle
#HackerNews #Mangle #Database #DeductiveProgramming #Google #OpenSource