2ltt Agda

Formalization of 2LTT in Agda