issues
search
Charles-Johnson
/
zia_programming
A language that can program itself
https://zia-lang.org
GNU General Public License v3.0
3
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Tutorials steps to take less than 15 seconds when compiled with a debug profile
#83
Charles-Johnson
closed
3 months ago
0
Set limit of 25 seconds for each tutorial step to complete
#82
Charles-Johnson
closed
4 months ago
0
Trying to define integer division but it takes so long to run
#81
Charles-Johnson
opened
5 months ago
0
Arrays: push
#80
Charles-Johnson
closed
5 months ago
0
Begin arrays tutorial
#79
Charles-Johnson
closed
5 months ago
0
Consistency check when defining reductions
#78
Charles-Johnson
opened
5 months ago
1
Extend relationships tutorial with example of grandparent
#77
Charles-Johnson
closed
6 months ago
0
Relationship tutorials bug
#76
Charles-Johnson
opened
6 months ago
0
Styling issues
#75
Charles-Johnson
opened
6 months ago
0
relationships tutorial
#74
Charles-Johnson
closed
6 months ago
0
Website fixes
#73
Charles-Johnson
closed
2 years ago
0
Parse WAT so Zia can statically analyse web assembly programs
#72
Charles-Johnson
opened
2 years ago
0
Initial attempt at tutorials for Zia
#71
Charles-Johnson
closed
2 years ago
0
Tutorials for website
#70
Charles-Johnson
closed
5 months ago
1
Refactor `ast_from_expression` to use clear stages of lexing and parsing
#69
Charles-Johnson
opened
2 years ago
1
Implement lexing of commands and syntax colouring
#68
Charles-Johnson
closed
2 years ago
0
Remove dependencies with security vulnerabilities
#67
Charles-Johnson
closed
2 years ago
0
Prevent command input obscuring latest history
#66
Charles-Johnson
closed
2 years ago
0
Improve scrolling
#65
Charles-Johnson
closed
2 years ago
0
defining arrays
#64
Charles-Johnson
closed
4 months ago
2
Stricter rule consistency
#63
Charles-Johnson
opened
2 years ago
1
"is_concrete" concept
#62
Charles-Johnson
opened
2 years ago
0
Alternative to REPL for UI
#61
Charles-Johnson
opened
2 years ago
3
"unknown" concept
#60
Charles-Johnson
closed
5 months ago
0
Setup tests for website
#59
Charles-Johnson
opened
2 years ago
0
Write tests for web UI
#58
Charles-Johnson
opened
2 years ago
0
Update website
#57
Charles-Johnson
closed
2 years ago
0
:arrow_up: Attempt to upgrade seed to 0.8.0
#56
Charles-Johnson
closed
2 years ago
0
:sparkles: Display history of command and evaluations
#55
Charles-Johnson
closed
3 years ago
0
Restructure ContextCache so reduction dependencies are explicit
#54
Charles-Johnson
opened
3 years ago
0
Include link to last commit that was deployed to zia-lang.org
#53
Charles-Johnson
closed
5 months ago
0
Separate lexing from parsing to provide IDE functionality
#52
Charles-Johnson
opened
3 years ago
0
Create "chat"-like UI for zia-lang.org Instead of the most recent evaluation below the text input, save history of commands and evaluations above the text input
#51
Charles-Johnson
closed
2 years ago
1
:green_heart: Fix GitHub Actions for website forcing nightly Rust
#50
Charles-Johnson
closed
3 years ago
0
Add zia-lang.org source code
#49
Charles-Johnson
closed
3 years ago
1
:recycle: Use slotmap instead of vector of options
#48
Charles-Johnson
closed
3 years ago
0
Refactor NewConceptDelta enum to dynamic trait object
#47
Charles-Johnson
opened
3 years ago
0
Add zia-lang.org source code to this repository
#46
Charles-Johnson
closed
3 years ago
0
Generic reference counters
#45
Charles-Johnson
closed
3 years ago
0
Support wasm
#44
Charles-Johnson
closed
3 years ago
0
ConceptId Refactor
#43
Charles-Johnson
closed
3 years ago
0
`forget` concept
#42
Charles-Johnson
opened
3 years ago
0
Simpler way to declare relative precedence
#41
Charles-Johnson
opened
3 years ago
0
Infer from implication with variable condition correctly
#40
Charles-Johnson
opened
3 years ago
2
Context Transactions
#39
Charles-Johnson
opened
3 years ago
0
Generalise SyntaxTree to use Rc or Arc
#38
Charles-Johnson
closed
3 years ago
0
Test: Group Theory
#37
Charles-Johnson
opened
3 years ago
1
Implement recursive reduction using Zia
#36
Charles-Johnson
opened
3 years ago
1
Autocomplete API
#35
Charles-Johnson
opened
3 years ago
4
Custom iterators for lazy evaluation
#34
Charles-Johnson
opened
3 years ago
0
Next