Skip to content

Commit 9929094

Browse files
committed
Update readme
1 parent 8c7858c commit 9929094

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

README.org

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
#+TITLE: 99 λProlog Problems
22

3-
An adaptation of the classic [[https://sites.google.com/site/prologsite/prolog-problems][99 Prolog Problems]] by [[https://sites.google.com/site/prologsite/author][Werner Hett]] to the
4-
higher-order logic programming in [[http://www.lix.polytechnique.fr/~dale/lProlog/][λProlog]].
3+
An adaptation of the classic [[https://sites.google.com/site/prologsite/prolog-problems][99 Prolog Problems]] by [[https://sites.google.com/site/prologsite/author][Werner Hett]] to higher-order
4+
logic programming in [[http://www.lix.polytechnique.fr/~dale/lProlog/][λProlog]].
55

66
Before undertaking the problems, you may wish to review this slight adaptation
77
of Hett's wonderful guidance:
@@ -39,4 +39,4 @@ Problems marked with three asterisks (***) are more difficult. You may need more
3939
time (i.e. a few hours or more) to find a good solution.
4040
#+end_src
4141

42-
- [[file:problems/lists.org][Lists]]
42+
- [[file:problems/lists.org][Lists]] :: [[file:solutions/lists.mod][solutions]]

0 commit comments

Comments
 (0)