Consultancy Training Open source Who we are Blog

Posts tagged ‘logic programming’

The Haskell Unfolder Episode 42: logic programming with typedKanren
Andres Löh, Edsko de Vries
Wednesday, 16 April 2025

Contact us

info@well-typed.com

ai all backpack blockchain build-systems cabal cachix calling convention cardano cloud-haskell coding community compile-time-performance concurrency cuda debugging deriving error-messages events exceptions foreign function interface garbage-collector generic-programming generics ghc ghc-activities-report ghc-debug hackage haddock haskell-foundation haskell-platform hasura hiw hls icfp industrial-haskell-group jobs laziness lifetime liquidhaskell logic programming macos memory mercury minikanren msfp munihac open-source optics parallel parsing performance ph-digest plutus profiling prolog records rts rust security sovereign-tech-fund swift talks template-haskell testing training tutorial types unfolder well-typed youtube zurihac

info@well-typed.com | Company information | Privacy | Cookies | Copyright © 2008–2025 Well-Typed LLP