xplat/agda-tactics xplat/agda-tactics

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
  • Created about 13 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
xplat/agda-tactics
github

xplat

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Reflective proof tactics and metaprogramming for Agda.

More Repositories

1

potpourri

things too small to be separate projects
Agda
4
star
2

tubular

stream your IO through a series of tubes
1
star
3

tinymisc

miscellaneous stuff related to TinyAgda
Shell
1
star
4

extls

TLS connections primarily for intranet and extranet uses
Haskell
1
star