V video.fosdem.org [video] IDP-Z3: A truly declarative approach to programming 3 points pcarbonn 3 years ago 1 comments