Awesome Open Source
Awesome Open Source


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


Travis Status

To check this development, you'll need:

  • Agda
  • 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