wjzz/Combinatory-logic

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Common Lisp
Created almost 14 years ago
Updated almost 14 years ago

wjzz/Combinatory-logic

wjzz

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

A program for generating combinators with certain properties. Inspired by "To mock a mockingbird" by Raymon Smullyan.

Agda-reflection-for-semiring-solver

A simple demonstration of the Agda Reflection API

Agda-Representing-Monads

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

Agda-small-developments-and-examples

A collection of mostly unrelated Agda programs which I found interesting in some way.

agda-DTP-examples

Agda-mode-improvements

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

Agda-theorem-library

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

PumpingLemma

A formalization of the pumping lemma for regular languages in Coq