dagit/logict-sequence

A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper

语言：Haskell · GitHub 星标：9 · Fork：4

话题：haskell · logict

在 GitHub 上查看原仓库