summaryrefslogtreecommitdiff
path: root/examples/nqueens/NQueensAscii.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/nqueens/NQueensAscii.gf')
-rw-r--r--examples/nqueens/NQueensAscii.gf13
1 files changed, 0 insertions, 13 deletions
diff --git a/examples/nqueens/NQueensAscii.gf b/examples/nqueens/NQueensAscii.gf
deleted file mode 100644
index 489f5ce7b..000000000
--- a/examples/nqueens/NQueensAscii.gf
+++ /dev/null
@@ -1,13 +0,0 @@
-concrete NQueensAscii of NQueens = NatAscii ** {
-
-lincat S, Matrix, Vec = Str ;
- ListNat, Sat = {} ;
-
-lin nqueens _ m = m ;
-
-lin nilV _ _ = "" ;
- consV _ j k _ _ v = j ++ "X" ++ k ++ ";" ++ v ;
-
- matrix _ v = v ;
-
-}