Telescopes Are Tries: A Dependent Type Shellac on SQLite (by philzook) — discussion
#databases #formalmethods #plt
