gallais/agda-nbe

Formalizing nbe in agda