Hacker News new | ask | show | jobs
[video] IDP-Z3: A truly declarative approach to programming (video.fosdem.org)
3 points by pcarbonn 936 days ago
1 comments

Following a HN post on the IDP-Z3 knowledge base system yesterday, you might be interested in a talk I gave at Fosdem earlier this year.