luc-tielen · November 26, 2020 16:24
diff --git a/1. Title b/1. Title
 Leverage the power of logic programming with souffle-haskell
diff --git a/2. Description b/2. Description
 souffle-haskell is a Haskell library that provides bindings for the Souffle language.
 Souffle is a Datalog variant that allows rapid prototyping of complex analyses in a
 high-level logic language. With souffle-haskell, it is now possible to combine the
 strengths of both Haskell and Datalog in order to solve complex problems easily.

 In this talk, Luc will start with a short introduction of how he came about creating souffle-haskell.
 Afterwards, he will explain how Haskell and Souffle can work together seamlessly and how this functionality is exposed in the library.
 Finally, he will showcase some of the cool things you can build using the combination of Souffle and Haskell.
diff --git a/3. Speaker bio b/3. Speaker bio
 Luc is a software engineer at Kabisa on a never-ending quest for writing
 correct, robust and maintainable programs. Along this journey, he came into
 contact with functional programming via Elixir & Haskell and never looked back
 since. When he's not tinkering on compilers, he spends most of his free time
 exploring with his bike or walking his dog.
	souffle-haskell is a Haskell library that provides bindings for the Souffle language.
	Souffle is a Datalog variant that allows rapid prototyping of complex analyses in a
	high-level logic language. With souffle-haskell, it is now possible to combine the
	strengths of both Haskell and Datalog in order to solve complex problems easily.

	In this talk, Luc will start with a short introduction of how he came about creating souffle-haskell.
	Afterwards, he will explain how Haskell and Souffle can work together seamlessly and how this functionality is exposed in the library.
	Finally, he will showcase some of the cool things you can build using the combination of Souffle and Haskell.
	Luc is a software engineer at Kabisa on a never-ending quest for writing
	correct, robust and maintainable programs. Along this journey, he came into
	contact with functional programming via Elixir & Haskell and never looked back
	since. When he's not tinkering on compilers, he spends most of his free time
	exploring with his bike or walking his dog.