generic-syntax icon indicating copy to clipboard operation
generic-syntax copied to clipboard

Published 20 hours ago • verified publisher icon gallais
→

Metadata

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

generic-syntax

A self-contained repository for the paper A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

Typechecking

Travis Status

To check this development, you'll need:

  • Agda 2.6.1.3
  • Agda's Standard Library 1.5

← Metadata

67
Stars
11
Forks
Watchers

Owner

verified publisher icon gallais

Metadata

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

Back