# alhassy/gentle-intro-to-reflection

<https://repo.masters-masters.com/en/repos/alhassy/gentle-intro-to-reflection>

[Home](https://repo.masters-masters.com/en) › [alhassy](https://repo.masters-masters.com/en/owners/alhassy) › [gentle-intro-to-reflection](https://repo.masters-masters.com/en/repos/alhassy/gentle-intro-to-reflection)

alhassy/gentle-intro-to-reflection has 108 stars on GitHub. Its RepoMasters card: Prototype tier. A slow-paced introduction to reflection in Agda. ---Tactics\!

| Field | Value |
| --- | --- |
| Owner | [alhassy](https://repo.masters-masters.com/en/owners/alhassy) |
| Stars | 108 |
| Forks | 8 |
| Language | [Agda](https://repo.masters-masters.com/en/languages/agda) |
| License | None |
| Created | 2019 |
| Topics | agda, tactics, tutorial, proof-pattern, macro, exercise |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [alhassy/gentle-intro-to-reflection](https://github.com/alhassy/gentle-intro-to-reflection) |

## Repository

A slow-paced introduction to reflection in Agda. ---Tactics\!

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by alhassy

- [alhassy/emacs.d · ★ 401 · Emacs Lisp · Alpha](https://repo.masters-masters.com/en/repos/alhassy/emacs.d)
- [alhassy/ElispCheatSheet · ★ 247 · Prototype](https://repo.masters-masters.com/en/repos/alhassy/ElispCheatSheet)
- [alhassy/org-special-block-extras · ★ 239 · Emacs Lisp · Prototype](https://repo.masters-masters.com/en/repos/alhassy/org-special-block-extras)
- [alhassy/JavaScriptCheatSheet · ★ 220 · Prototype](https://repo.masters-masters.com/en/repos/alhassy/JavaScriptCheatSheet)
- [alhassy/CheatSheet · ★ 183 · TeX · Prototype](https://repo.masters-masters.com/en/repos/alhassy/CheatSheet)

## Nearby in Agda

- [UlfNorell/agda-prelude · ★ 135 · Agda · Prototype](https://repo.masters-masters.com/en/repos/UlfNorell/agda-prelude)
- [HoTT-Intro/Agda · ★ 129 · Agda · Prototype](https://repo.masters-masters.com/en/repos/HoTT-Intro/Agda)
- [wenkokke/schmitty · ★ 110 · Agda · Prototype](https://repo.masters-masters.com/en/repos/wenkokke/schmitty)
- [agda-attic/agda-frp-js · ★ 104 · Agda · Prototype](https://repo.masters-masters.com/en/repos/agda-attic/agda-frp-js)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.