AgdaCheatSheet

AgdaCheatSheet

alhassy

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

emacs
View on GitHub
36 Stars
1 Forks
36 Watchers
Agda Language
gpl-3.0 License
84.4 SrcLog Score
Cost to Build
$26.9K
Market Value
$30.4K
How is this calculated?

Growth over time

7 data points  ·  2021-08-01 → 2023-07-01
Stars Forks Watchers
💬

How do you feel about this project?

Ask AI about AgdaCheatSheet

Question copied to clipboard

What is the alhassy/AgdaCheatSheet GitHub project? Description: "Basics of the dependently-typed functional language Agda ^_^". Written in Agda. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

🏆 Show off this rank

alhassy/AgdaCheatSheet on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

How to clone AgdaCheatSheet

Clone via HTTPS

git clone https://github.com/alhassy/AgdaCheatSheet.git

Clone via SSH

[email protected]:alhassy/AgdaCheatSheet.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the AgdaCheatSheet issue tracker:

Open GitHub Issues

Similar to AgdaCheatSheet

spacemacs dracula-theme awesome-emacs magit cider remacs projectile helm use-package know-your-http-well flycheck core Spacemacs-rocks smartparens slime merlin intero lsp-mode Indium irony-mode dumb-jump org-brain emacs-anywhere emacs-document tide sx.el emacs-slack emacs-which-key clj-refactor.el all-the-icons.el