Awesome Open Source
Awesome Open Source

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.0.1
  • Agda's Standard Library 1.2

Get A Weekly Email With Trending Projects For These Topics
No Spam. Unsubscribe easily at any time.
semantic (60
agda (33
proof (18

Find Open Source By Browsing 7,000 Topics Across 59 Categories