6d5cc32610
Constraint Handling Rules (CHRs). Chameleon implements the ideas described in ``A Theory of Overloading''. WWW: http://www.comp.nus.edu.sg/~sulzmann/chameleon/
60 lines
2.0 KiB
Plaintext
60 lines
2.0 KiB
Plaintext
bin/chameleon
|
|
share/examples/chameleon/check.ch
|
|
share/examples/chameleon/collects.ch
|
|
share/examples/chameleon/collects2.ch
|
|
share/examples/chameleon/constructor.ch
|
|
share/examples/chameleon/curry.ch
|
|
share/examples/chameleon/curry2.ch
|
|
share/examples/chameleon/data.boo
|
|
share/examples/chameleon/entail.ch
|
|
share/examples/chameleon/entail2.ch
|
|
share/examples/chameleon/enum.ch
|
|
share/examples/chameleon/eq.ch
|
|
share/examples/chameleon/eval.ch
|
|
share/examples/chameleon/eval2.ch
|
|
share/examples/chameleon/first-class-old.ch
|
|
share/examples/chameleon/first-class.ch
|
|
share/examples/chameleon/first-classa.ch
|
|
share/examples/chameleon/fmap.ch
|
|
share/examples/chameleon/fmap2.ch
|
|
share/examples/chameleon/forall.ch
|
|
share/examples/chameleon/forall2.ch
|
|
share/examples/chameleon/functor-beyond.ch
|
|
share/examples/chameleon/functor.ch
|
|
share/examples/chameleon/fundep.ch
|
|
share/examples/chameleon/hoas.ch
|
|
share/examples/chameleon/hoas2.ch
|
|
share/examples/chameleon/hoas3.ch
|
|
share/examples/chameleon/insert.ch
|
|
share/examples/chameleon/insert2.ch
|
|
share/examples/chameleon/interpreter.ch
|
|
share/examples/chameleon/interpreter.hs
|
|
share/examples/chameleon/kenny.ch
|
|
share/examples/chameleon/kind.ch
|
|
share/examples/chameleon/kind2.ch
|
|
share/examples/chameleon/list2.ch
|
|
share/examples/chameleon/missing-method.ch
|
|
share/examples/chameleon/monad.ch
|
|
share/examples/chameleon/monad2.ch
|
|
share/examples/chameleon/palin.ch
|
|
share/examples/chameleon/poly-methods.ch
|
|
share/examples/chameleon/poly-rec.ch
|
|
share/examples/chameleon/problem.ch
|
|
share/examples/chameleon/qsort.ch
|
|
share/examples/chameleon/rbt.ch
|
|
share/examples/chameleon/record.ch
|
|
share/examples/chameleon/record2.ch
|
|
share/examples/chameleon/record3.ch
|
|
share/examples/chameleon/record4.ch
|
|
share/examples/chameleon/rules.boo
|
|
share/examples/chameleon/sec.ch
|
|
share/examples/chameleon/simps.ch
|
|
share/examples/chameleon/stack.ch
|
|
share/examples/chameleon/subsumption.ch
|
|
share/examples/chameleon/sum.ch
|
|
share/examples/chameleon/superclass.ch
|
|
share/examples/chameleon/test.ch
|
|
share/examples/chameleon/unit.ch
|
|
share/examples/chameleon/zip.ch
|
|
@dirrm share/examples/chameleon
|