inference-in-agda
inference-in-agda copied to clipboard
A tutorial on how Agda infers things
Results
0
inference-in-agda issues
Sort by
recently updated
recently updated
newest added
A tutorial on how Agda infers things