From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/nqueens/NQueens.gf | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 examples/nqueens/NQueens.gf (limited to 'examples/nqueens/NQueens.gf') diff --git a/examples/nqueens/NQueens.gf b/examples/nqueens/NQueens.gf deleted file mode 100644 index 6eec8953f..000000000 --- a/examples/nqueens/NQueens.gf +++ /dev/null @@ -1,21 +0,0 @@ -abstract NQueens = Nat ** { - -cat S ; -cat Matrix Nat ; -cat [Nat] ; -cat Vec (s,l : Nat) [Nat] ; -cat Sat Nat Nat [Nat] ; - -data nqueens : (n : Nat) -> Matrix n -> S ; - -data nilV : ({s} : Nat) -> ({c} : [Nat]) -> Vec s zero c ; - consV : ({l},j,k : Nat) -> - let s = succ (plus j k) - in ({c} : [Nat]) -> Sat j (succ zero) c -> Vec s l (ConsNat j c) -> Vec s (succ l) c ; - - nilS : ({j,d} : Nat) -> Sat j d BaseNat ; - consS : ({i,j,d} : Nat) -> ({c} : [Nat]) -> NE i j -> NE i (plus d j) -> NE (plus d i) j -> Sat j (succ d) c -> Sat j d (ConsNat i c) ; - - matrix : ({s} : Nat) -> Vec s s BaseNat -> Matrix s ; - -} -- cgit v1.2.3