CategoricalData CQL issues

CategoricalData / CQL

Categorical Query Language IDE

http://categoricaldata.net

299 stars 22 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Type inference cannot assign the same string to two sorts

#21 wisnesky opened 5 years ago
0
Errata

#20 wisnesky opened 5 years ago
0
Display relevant type-algebra equations in labeled null cells in the viewer

#19 dspivak opened 5 years ago
1
Text editor when no trailing line, loses highlighting

#18 dspivak closed 5 years ago
4
Modify Kinds

#17 wisnesky closed 5 years ago
1
Add attributes to the GUI for transforms

#16 wisnesky closed 3 years ago
1
Have CQL emit time remaining until timeout in status bar

#15 wisnesky opened 5 years ago
0
Redo Parsec grammar to give better error messages

#14 wisnesky opened 5 years ago
0
'IsFinite' button for schemas

#13 wisnesky opened 5 years ago
0
Change from two Run + Cancel buttons to one Run/Cancel toggle button

#12 wisnesky closed 5 years ago
0
Semantic objects that are the sources and targets of semantic morphisms are always recomputed

#11 wisnesky opened 5 years ago
0
Update ANTLR grammar

#10 wisnesky opened 5 years ago
0
Not all keywords colorize

#9 wisnesky closed 5 years ago
0
pages for kinds in documentation - what to put?

#8 wisnesky opened 5 years ago
0
Convert from custom to RSyntaxArea outline tree component

#7 wisnesky opened 5 years ago
0
Mark all in find dialog does not unhighlight on close

#6 wisnesky opened 5 years ago
0
The options color chooser dialog box pops under the options window

#5 wisnesky opened 5 years ago
0
Term Hash-consing cache grows monotonically (no garbage collection)

#4 wisnesky opened 5 years ago
0
Define CQL API and axiomatic semantics as a CQL type side

#3 wisnesky opened 5 years ago
0
The text 'CQL' in the examples menu is clipped in the deployed jar file, but not in eclipse.

#2 wisnesky closed 5 years ago
0
Stale theorem prover error highlights may not clear until a key is pressed

#1 wisnesky closed 5 years ago
1