├── README.md ├── Rakefile ├── doc ├── discussion.lagda ├── extensible.lagda ├── intro.lagda ├── llncs.cls ├── main.bib ├── main.fmt ├── main.lagda ├── motivation.lagda ├── old_main.lagda ├── preamble.tex ├── prolog.lagda ├── reflection.lagda ├── sigplanconf.cls ├── textgreek.sty ├── todo.md └── typeclasses.lagda └── src ├── Auto.agda ├── Auto ├── Core.agda ├── Counting.agda ├── Example │ ├── Even.agda │ ├── Sublists.agda │ └── TypeClasses.agda └── Extensible.agda ├── LICENSE ├── ProofSearch.agda └── Unification.agda /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/README.md -------------------------------------------------------------------------------- /Rakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/Rakefile -------------------------------------------------------------------------------- /doc/discussion.lagda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/discussion.lagda -------------------------------------------------------------------------------- /doc/extensible.lagda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/extensible.lagda -------------------------------------------------------------------------------- /doc/intro.lagda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/intro.lagda -------------------------------------------------------------------------------- /doc/llncs.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/llncs.cls -------------------------------------------------------------------------------- /doc/main.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/main.bib -------------------------------------------------------------------------------- /doc/main.fmt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/main.fmt -------------------------------------------------------------------------------- /doc/main.lagda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/main.lagda -------------------------------------------------------------------------------- /doc/motivation.lagda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/motivation.lagda -------------------------------------------------------------------------------- /doc/old_main.lagda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/old_main.lagda -------------------------------------------------------------------------------- /doc/preamble.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/preamble.tex -------------------------------------------------------------------------------- /doc/prolog.lagda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/prolog.lagda -------------------------------------------------------------------------------- /doc/reflection.lagda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/reflection.lagda -------------------------------------------------------------------------------- /doc/sigplanconf.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/sigplanconf.cls -------------------------------------------------------------------------------- /doc/textgreek.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/textgreek.sty -------------------------------------------------------------------------------- /doc/todo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/todo.md -------------------------------------------------------------------------------- /doc/typeclasses.lagda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/doc/typeclasses.lagda -------------------------------------------------------------------------------- /src/Auto.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/src/Auto.agda -------------------------------------------------------------------------------- /src/Auto/Core.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/src/Auto/Core.agda -------------------------------------------------------------------------------- /src/Auto/Counting.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/src/Auto/Counting.agda -------------------------------------------------------------------------------- /src/Auto/Example/Even.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/src/Auto/Example/Even.agda -------------------------------------------------------------------------------- /src/Auto/Example/Sublists.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/src/Auto/Example/Sublists.agda -------------------------------------------------------------------------------- /src/Auto/Example/TypeClasses.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/src/Auto/Example/TypeClasses.agda -------------------------------------------------------------------------------- /src/Auto/Extensible.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/src/Auto/Extensible.agda -------------------------------------------------------------------------------- /src/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/src/LICENSE -------------------------------------------------------------------------------- /src/ProofSearch.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/src/ProofSearch.agda -------------------------------------------------------------------------------- /src/Unification.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/wenkokke/AutoInAgda/HEAD/src/Unification.agda --------------------------------------------------------------------------------