Trying out some type checking with errors
Update social-y stuff in README
Add access control example
Add README builder; more examples in relations playground
No more readme.md
Remove wiki; just use README
Add README with better source blocks
Looks like I get a TOC for free on sourcehut
Update license, add index.md (just formatted README.org)
Add example of program synthesis
Add type checker, applications section
Add predicate checking
Add occurs-check
Fix bug in reify routine
Add extensions; all code from paper now present
More notes on conj and disj; core implementation complete!