/stlc

This aims to be the most pretentious implementation of stlc in existence

Primary LanguageAgda

Watchers