wjzz/Agda-mode-improvements wjzz/Agda-mode-improvements

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Emacs Lisp
  • Created over 13 years ago
  • Updated about 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wjzz/Agda-mode-improvements
github

wjzz

Reviews

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

Repository Details

Some simple tools for agda-mode to make programming in Agda even more enjoyable.

More Repositories

1

Agda-reflection-for-semiring-solver

A simple demonstration of the Agda Reflection API
11
star
2

Agda-Representing-Monads

A formalization of some notions from the paper "Representing Monads" by Andrzej Filinski
8
star
3

Agda-small-developments-and-examples

A collection of mostly unrelated Agda programs which I found interesting in some way.
Coq
7
star
4

agda-DTP-examples

Haskell
7
star
5

Combinatory-logic

A program for generating combinators with certain properties. Inspired by "To mock a mockingbird" by Raymon Smullyan.
Common Lisp
4
star
6

Agda-theorem-library

My collection of rather simple, but useful theorems about basic Agda data types
4
star
7

PumpingLemma

A formalization of the pumping lemma for regular languages in Coq
Verilog
2
star