Skip to content

Issues: statebox/cql

Refactor & clean up
#148 opened Aug 7, 2019 by epost
Open
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
39 Open 48 Closed
39 Open 48 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

mapping composition core
#25 by wisnesky was closed Nov 12, 2018
@wisnesky
2
Concrete Syntax
#4 by wisnesky was closed Sep 25, 2018
@wisnesky
Type (Sort) inference for concrete syntax
#5 by wisnesky was closed Oct 22, 2018
@wisnesky
Schema Parser for concrete syntax
#6 by wisnesky was closed Sep 18, 2018
1 task
@marcosh
3
Tabular pretty-printer for Algebra
#7 by wisnesky was closed Oct 23, 2018
@epost
3
theorem prover based on re-writing weakly orthogonal theories
#8 by wisnesky was closed Oct 4, 2018
@wisnesky
instance saturator
#13 by wisnesky was closed Oct 4, 2018
@wisnesky
delta
#14 by wisnesky was closed Oct 12, 2018
@wisnesky
sigma
#15 by wisnesky was closed Oct 10, 2018
@wisnesky
Abstract Syntax
#21 by wisnesky was closed Oct 4, 2018
@wisnesky
mapping validator
#22 by wisnesky was closed Oct 7, 2018
@wisnesky
transform validator
#23 by wisnesky was closed Oct 7, 2018
@wisnesky
Create repo with initial Haskell project
#1 by epost was closed Aug 3, 2018
3 tasks done
@epost
type checker
#24 by wisnesky was closed Sep 25, 2018
@wisnesky
transform composition core
#26 by wisnesky was closed Nov 12, 2018
@wisnesky
Refactor
#27 by epost was closed Oct 13, 2018
8 tasks done
@epost
congruence prover prover
#30 by wisnesky was closed Nov 22, 2018
@epost @marcosh @wisnesky
1
Knuth-Bendix (KB) prover prover
#31 by wisnesky was closed Nov 24, 2018
@epost @marcosh @wisnesky
4
Program prover
#32 by wisnesky was closed Oct 4, 2018
@wisnesky
Create Travis continuous build
#34 by epost was closed Oct 13, 2018
@wires @tg-x @epost
18
Parser for Typeside kind
#40 by marcosh was closed Oct 4, 2018
Add Travis badge to README
#41 by epost was closed Sep 26, 2018
@tg-x
Investigate compilation to javascript using ghcjs
#43 by epost was closed Sep 28, 2018
@tg-x
6
test suite build issues
#45 by tg-x was closed Oct 1, 2018
@wisnesky
Rename executable from cql-exe to cql
#143 by epost was closed Aug 8, 2019
ProTip! Exclude everything labeled bug with -label:bug.