agda

Aug 23, 2015

f1fc2d6 · Aug 23, 2015

This branch is 2694 commits behind UniMath/UniMath:master.

Name	Name	Last commit message	Last commit date
parent directory ..
LICENSE	LICENSE	remove part of license	Aug 23, 2015
agda-input.el	agda-input.el	include the agda input method	Aug 15, 2015

Provide feedback