GitHub - norm2782/NanoProlog

Name	Name	Last commit message	Last commit date
Latest commit norm2782 Change maintainer email Jun 16, 2014 30b3165 · Jun 16, 2014 History 50 Commits
src	src	Merging spockz	Jan 27, 2012
.ghci	.ghci	New Main file. Rest a library.	May 24, 2011
.gitignore	.gitignore	.gitgnore	Oct 18, 2011
LICENSE	LICENSE	Initial import of NanoProlog	May 22, 2011
Makefile	Makefile	Makefile for NanoProlog	May 24, 2011
NanoProlog.cabal	NanoProlog.cabal	Change maintainer email	Jun 16, 2014
README	README	Initial import of NanoProlog	May 22, 2011
Setup.hs	Setup.hs	Initial import of NanoProlog	May 22, 2011
royals.pro	royals.pro	Add more example rules	May 31, 2011
tc.pro	tc.pro	Adapted for terms with [.] and -> constructors.	Oct 18, 2011

Repository files navigation

NanoProlog README goes here.