Hacker News new | ask | show | jobs
by auxi 3804 days ago
http://www.clafer.org/ Lightweight modeling

http://categoricaldata.net/fql.html FQL Functorial Query Languages