Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 103 lines (95 sloc) 3.408 kb
f88bce9c » norm2782
2011-04-07 Snap init
1 Name: JCU
f72a9fe8 » norm2782
2011-10-20 First stab at porting the app to Snap 0.6 and HDBC
2 Version: 0.3
63656dc8 » norm2782
2011-05-28 Update cabal file for distribution
3 Synopsis: Online application for visualizing Prolog proof trees.
4 Description: This package was developed to demonstrate the ideas behind
5 the Prolog language. It uses a very small interpreter
19978180 » norm2782
2011-05-28 Convert README to Markdown
6 (@Language.Prolog.Nanoprolog@) which can be run on its
63656dc8 » norm2782
2011-05-28 Update cabal file for distribution
7 own.
0f970d5c » swier101
2011-05-22 cabal file
8 .
63656dc8 » norm2782
2011-05-28 Update cabal file for distribution
9 This package contains an environment constructed for the
10 Junior College at Utrecht University. It provides a simpel
11 environment in which rules can be defined, and proofs can
12 be constructed interactively. The software can be
13 installed on a server, so students do not have to install
14 anything on their own machines.
f88bce9c » norm2782
2011-04-07 Snap init
15 License: BSD3
16 license-file: LICENSE
0f970d5c » swier101
2011-05-22 cabal file
17 Author: Jurriën Stutterheim, Doaitse Swierstra
63656dc8 » norm2782
2011-05-28 Update cabal file for distribution
18 Maintainer: Jurriën Stutterheim <j.stutterheim@uu.nl>
c08d344c » norm2782
2011-05-28 Add homepage link
19 Homepage: http://www.cs.uu.nl/wiki/PrologJCU
f88bce9c » norm2782
2011-04-07 Snap init
20 Stability: Experimental
21 Category: Web
22 Build-type: Simple
153ee129 » norm2782
2011-05-20 Get rid of cabal check warnings
23 Cabal-version: >= 1.6
76bf6afa » norm2782
2011-05-28 Add future work file
24 Extra-Source-Files: README, FUTURE-WORK, examples/*
153ee129 » norm2782
2011-05-20 Get rid of cabal check warnings
25
26 Source-repository head
27 Type: git
28 Location: https://github.com/norm2782/JCU.git
f88bce9c » norm2782
2011-04-07 Snap init
29
30 Flag development
31 Description: Whether to build the server in development (interpreted) mode
32 Default: False
33
d87aad5f » norm2782
2011-04-07 App name
34 Executable jcu
f88bce9c » norm2782
2011-04-07 Snap init
35 hs-source-dirs: src
36 main-is: Main.hs
37
38 Build-depends:
f72a9fe8 » norm2782
2011-10-20 First stab at porting the app to Snap 0.6 and HDBC
39 aeson >= 0.3,
40 attoparsec >= 0.9,
f88bce9c » norm2782
2011-04-07 Snap init
41 base >= 4 && < 5,
f72a9fe8 » norm2782
2011-10-20 First stab at porting the app to Snap 0.6 and HDBC
42 blaze-html >= 0.4.1,
43 bytestring >= 0.9,
3ecb6e8f » norm2782
2011-04-09 Separate code and put in separate namespace
44 bson >= 0.1.3,
016b87f8 » norm2782
2011-04-17 Lay out some more RESTful infrastructure
45 containers >= 0.4,
f72a9fe8 » norm2782
2011-10-20 First stab at porting the app to Snap 0.6 and HDBC
46 data-lens >= 2,
47 data-lens-template >= 2,
48 digestive-functors >= 0.1,
49 digestive-functors-blaze >= 0.1.1,
50 digestive-functors-snap >= 0.1,
51 email-validate >= 0.2.6,
52 HDBC >= 2.2,
53 HDBC-sqlite3 >= 2.3,
f24a3fa3 » 3555003
2011-04-27 Fix all sorts of minor issues
54 ListLike >= 3.1 && < 3.2,
f72a9fe8 » norm2782
2011-10-20 First stab at porting the app to Snap 0.6 and HDBC
55 MonadCatchIO-transformers >= 0.2.1 && < 0.3,
56 mtl >= 2.0,
57 NanoProlog >= 0.2.3.2,
58 snap >= 0.6,
59 snap-core >= 0.6,
60 snap-server >= 0.6,
61 snaplet-hdbc >= 0.1.1,
62 text >= 0.11,
63 time >= 1.1 && < 1.3,
64 transformers >= 0.2,
65 uu-parsinglib >= 2.7.1,
66 xmlhtml >= 0.1
f88bce9c » norm2782
2011-04-07 Snap init
67
10b2ac81 » norm2782
2011-05-18 Rename Site to Router
68 extensions:
f24a3fa3 » 3555003
2011-04-27 Fix all sorts of minor issues
69 TypeSynonymInstances
70 , OverloadedStrings
71 , MultiParamTypeClasses
72 , FunctionalDependencies
73 , DeriveDataTypeable
74 , FlexibleInstances
f88bce9c » norm2782
2011-04-07 Snap init
75
76 if flag(development)
77 cpp-options: -DDEVELOPMENT
78 -- In development mode, speed is already going to suffer, so skip
79 -- the fancy optimization flags. Additionally, disable all
80 -- warnings. The hint library doesn't give an option to execute
81 -- compiled code when there were also warnings, so disabling
82 -- warnings allows quicker workflow.
f72a9fe8 » norm2782
2011-10-20 First stab at porting the app to Snap 0.6 and HDBC
83 ghc-options: -threaded -w -Wall -fwarn-tabs
f88bce9c » norm2782
2011-04-07 Snap init
84 else
85 if impl(ghc >= 6.12.0)
63656dc8 » norm2782
2011-05-28 Update cabal file for distribution
86 ghc-options: -threaded -Wall -fwarn-tabs -funbox-strict-fields -O2
f88bce9c » norm2782
2011-04-07 Snap init
87 -fno-warn-orphans -fno-warn-unused-do-bind
88 else
63656dc8 » norm2782
2011-05-28 Update cabal file for distribution
89 ghc-options: -threaded -Wall -fwarn-tabs -funbox-strict-fields -O2
f88bce9c » norm2782
2011-04-07 Snap init
90 -fno-warn-orphans
52632d1d » norm2782
2011-04-07 Add project structure and cabal file
91
3ecb6e8f » norm2782
2011-04-09 Separate code and put in separate namespace
92 Library
5ceb6e03 » norm2782
2011-05-20 Switch to Language.Prolog.NanoProlog
93 Extensions:
f24a3fa3 » 3555003
2011-04-27 Fix all sorts of minor issues
94 TypeSynonymInstances
95 , OverloadedStrings
96 , MultiParamTypeClasses
97 , FunctionalDependencies
98 , DeriveDataTypeable
99 , FlexibleInstances
100
3ecb6e8f » norm2782
2011-04-09 Separate code and put in separate namespace
101 Build-Depends: base >= 4.0 && < 5.0
102 Hs-Source-Dirs: src
f72a9fe8 » norm2782
2011-10-20 First stab at porting the app to Snap 0.6 and HDBC
103 Exposed-modules: JCU.Prolog
Something went wrong with that request. Please try again.