A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
语言:Haskell · GitHub 星标:235 · Fork:13
话题:compiler · datalog · haskell · llvm · logic-programming
在 GitHub 上查看原仓库