Submissions from github.com/c-cube | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit | from

		Type-safe Datalog in OCaml (github.com/c-cube)
		80 points by jlturner on May 9, 2017 \| past \| 4 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact