Giters

DrRuisseau / nominal-hott

Experiments with nominal types in HoTT Agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

nominal-hott

Experiments with nominal types in HoTT Agda

Requires the HoTT-Agda core library.

About

Experiments with nominal types in HoTT Agda

Languages

Language:Agda 100.0%