Giters

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

omelkonian/nominal-agda Issues