/stlc-agda

STLC-related snippets in Agda

This repository is not active