Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Reflection Proofs

Playing around with reflection in Agda. Since version 2.2.8 we have simple quoting and unquoting, and it turns out you can do some pretty cool shit.
Stars
24
License
mit
Open Issues
0
Most Recent Commit
10 years ago
Programming Language
TeX
Categories
Site
Repo
Alternatives To Reflection Proofs
Select To Compare


Suggest An Alternative To reflection-proofs
Popular Text Processing Categories
Tex
Format
Translation
Address
Character
Highlighter
Regular Expression
Formatter
Selector
Localization

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Tex
Reflection
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.