omelkonian / nominal-agda

Experiments in nominal techniques for Agda.

Home Page:https://omelkonian.github.io/nominal-agda/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Nominal techniques in Agda CI

Mostly based on:

Murdoch J. Gabbay and Andrew M. Pitts 2002 "A New Approach to Abstract Syntax with Variable Binding"

and the Haskell package nom.

HTML

Browse the Agda code in HTML here.

About

Experiments in nominal techniques for Agda.

https://omelkonian.github.io/nominal-agda/


Languages

Language:Agda 100.0%