cql-master.zip
(预估有个60文件)
cql-master
Setup.hs
46B
LICENSE.txt
34KB
package.yaml
2KB
http
Main.hs
887B
package.yaml
2KB
src
Api
Config
Config.hs
977B
Environment.hs
1KB
Lib.hs
1KB
Api.hs
1KB
App.hs
1KB
src
Language
CQL
Instance.hs
28KB
Common.hs
6KB
Parser
Instance.hs
4KB
LexerRules.hs
2KB
Mapping.hs
3KB
Typeside.hs
3KB
ReservedWords.hs
2KB
Schema.hs
3KB
Parser.hs
4KB
Transform.hs
4KB
Program.hs
3KB
Mapping.hs
14KB
Typeside.hs
10KB
Term.hs
13KB
Query.hs
5KB
Prover.hs
13KB
Options.hs
5KB
Internal.hs
7KB
Instance
Presentation.hs
4KB
Algebra.hs
12KB
Schema.hs
13KB
Congruence.hs
5KB
Transform.hs
17KB
Collage.hs
11KB
Program.hs
4KB
Graph.hs
2KB
Morphism.hs
10KB
CQL.hs
21KB
default.nix
2KB
cql.nix
2KB
examples
Sigma.cql
3KB
Timeout.cql
154B
Delta.cql
2KB
Petri.cql
1019B
Employee.cql
1KB
Congruence.cql
825B
Mapping.cql
921B
KB.cql
1KB
Import.cql
3KB
CONTRIBUTING.md
117B
.travis.yml
14B
test
Language
CQL
Parser
Generator.hs
2KB
Parser
ParserSpec.hs
3KB
CQLSpec.hs
5KB
Spec.hs
855B
cli
Main.hs
2KB
README.md
4KB
stack.yaml
3KB
.editorconfig
1KB
.gitignore
72B
暂无评论