a series of ambitious experiments in the functional language / proof assistant Agda.
Primary LanguageVim Script