inference-in-agda icon indicating copy to clipboard operation
inference-in-agda copied to clipboard

Published 20 hours ago • verified publisher icon effectfully
→

Metadata

A tutorial on how Agda infers things

Results 0 inference-in-agda issues
Sort by recently updated
recently updated
newest added

← Metadata

31
Stars
0
Forks
Watchers

Owner

verified publisher icon effectfully

Metadata

A tutorial on how Agda infers things

Back