AgdaCheatSheet icon indicating copy to clipboard operation
AgdaCheatSheet copied to clipboard

verified publisher icon alhassy
→

Metadata

Basics of the dependently-typed functional language Agda ^_^

Results 0 AgdaCheatSheet issues
Sort by recently updated
recently updated
newest added

← Metadata

37
Stars
1
Forks
Watchers

Owner

verified publisher icon alhassy

Metadata

Basics of the dependently-typed functional language Agda ^_^

Back