taktoa Karma 145 Created 11 years ago About [ my public key: https://keybase.io/taktoa; my proof: https://keybase.io/taktoa/sigs/ga_yPjW2JuxTy-k93hNfLheT9A3AxC38Jm_Sk0kuhq8 ] Recent Submissions 1. ▲ Show HN: A screencast about my BDD-based Datalog compiler in Haskell (youtu.be) 3 points · 5 years ago · 0 comments All submissions on HN · View profile on HN