3 ms·

[video] IDP-Z3: A truly declarative approach to programming

• pcarbonn 3y ago
  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.
  • deleted 3y ago
    [deleted]