No examples in the readme? | Hacker News

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

		aappleby 4 days ago \| parent \| context \| favorite \| on: Show HN: Symbolic Circuit Distillation: prove prog... No examples in the readme?

nsomani 4 days ago [–]

There are two examples provided - quote matching and bracket closing.

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