alhassy / AgdaCheatSheet

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

alhassy/AgdaCheatSheet Stargazers