stlc-agda
stlc-agda copied to clipboard

Published 20 hours ago •

→

Metadata

STLC-related snippets in Agda

Readme
Issues

← Metadata

15

Stars

1

Forks

Watchers

Owner

Metadata

STLC-related snippets in Agda