]> hydra-www.ietfng.org Git - dyna2/commitdiff
Merge branch 'master' of ssh://github.com/nwf/dyna
authorTim Vieira <tim.f.vieira@gmail.com>
Sun, 30 Jun 2013 23:59:26 +0000 (19:59 -0400)
committerTim Vieira <tim.f.vieira@gmail.com>
Sun, 30 Jun 2013 23:59:26 +0000 (19:59 -0400)
1  2 
examples/expected/lists.py.out

index 5c567afc72f497feb160d474ec33955bf54c2631,fce6f441ed09189a196a00def5d68498096cc1c8..a6bb6cab4d077b95b0d4c9af42d82b404b9e4677
@@@ -5,5 -5,9 +5,9 @@@ a => [1, 2]
  
  f/1
  ===
 -f([1, 2])                      := true
 +f([1, 2]) => true.
  
+ goal/1
+ ======
+ goal([2])                      := true