Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 16, 2014

• Change maintainer email

  norm2782

  committedJun 16, 2014
  30b3165

• Stretch deps

  norm2782

  committedJun 16, 2014
  7358a77

Commits on Jan 27, 2012

• Merging spockz

  norm2782

  committedJan 27, 2012
  122857d

Commits on Jan 17, 2012

• * Priority fix

  spockz

  committedJan 17, 2012
  9896851

Commits on Dec 22, 2011

• Add a uu-tc-based parser

  norm2782

  committedDec 22, 2011
  9963131

• Split off the parser from the Prolog machinery.

  norm2782

  committedDec 22, 2011
  3792054

Commits on Oct 20, 2011

• added formatting infix list conses

  doaitse

  committedOct 20, 2011
  de943bc

• exporting two more types for haddock

  doaitse

  committedOct 20, 2011
  674e905

• pCons added

  doaitse

  committedOct 20, 2011
  b396086

• Merge branch 'master' of github.com:norm2782/NanoProlog

  norm2782

  committedOct 20, 2011
  dcb2583

• Export Env constructor as well

  norm2782

  committedOct 20, 2011
  f5399db

Commits on Oct 19, 2011

• layout and git test

  doaitse

  committedOct 19, 2011
  f2e3226

• Bump version number

  norm2782

  committedOct 19, 2011
  5d3cd8d

• Remove haskell98 from deps. Import System.Environment instead of System

  norm2782

  committedOct 19, 2011
  bbb87dc

Commits on Oct 18, 2011

• .gitgnore

  doaitse

  committedOct 18, 2011
  807fdbb

• Adapted for terms with [.] and -> constructors.

  doaitse

  committedOct 18, 2011
  1bf9791

• Begin of type parsing and showing

  doaitse

  committedOct 18, 2011
  0595fc9

Commits on May 31, 2011

• Accept Prolog rule file in CLI arguments

  norm2782

  committedMay 31, 2011
  f15302f

• Add more example rules

  norm2782

  committedMay 31, 2011
  23887b0

Commits on May 30, 2011

• Formatting

  norm2782

  committedMay 30, 2011
  946a40b

• More formatting

  norm2782

  committedMay 30, 2011
  e38e696

• Format solve for increased readability

  norm2782

  committedMay 30, 2011
  15f82e9

• match added

  doaitse

  committedMay 30, 2011
  97eff83

• Merge branch 'master' of github.com:norm2782/NanoProlog

  doaitse

  committedMay 30, 2011
  58c6259

• Preparing 0.2.1

  norm2782

  committedMay 30, 2011
  3e9ee1a

Commits on May 29, 2011

• Support variables with numbers

  norm2782

  committedMay 29, 2011
  76b5a0c

Commits on May 28, 2011

• Merge branch 'master' of github.com:norm2782/NanoProlog

  doaitse

  committedMay 28, 2011
  3be82a0

• Export Env as well

  norm2782

  committedMay 28, 2011
  208eb52

• Add name to cabal file

  norm2782

  committedMay 28, 2011
  ebeb4f3

Commits on May 24, 2011

• Merge branch 'master' of github.com:norm2782/NanoProlog

  doaitse

  committedMay 24, 2011
  2f12bc3

• Beautified solve a bit

  doaitse

  committedMay 24, 2011
  8160be7

• Makefile for NanoProlog

  norm2782

  committedMay 24, 2011
  5e223cb

• New Main file. Rest a library.

  norm2782

  committedMay 24, 2011
  83288bc

• Merge branch 'master' of github.com:norm2782/NanoProlog

  norm2782

  committedMay 24, 2011
  be8cc2e

• Rename Main. Up cabal dep to 1.8

  norm2782

  committedMay 24, 2011
  4d28e90

Pagination

PreviousNext