issues
search
AlgebraicJulia
/
GATlab.jl
GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
21
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
TypeCtx as generalization of TypeScope, better @theorymap parsing
#110
kris-brown
closed
9 months ago
1
Aliases at the scope level
#109
olynch
closed
9 months ago
1
Theory maps send type constructors to general types in a context
#108
kris-brown
closed
9 months ago
1
add import statements to @theory declaration
#107
kris-brown
closed
9 months ago
1
Pass model via Base.getindex
#106
olynch
closed
9 months ago
1
ability for model methods to extend other methods
#105
kris-brown
closed
9 months ago
0
references canceled
#104
olynch
closed
10 months ago
0
`typecons()` and `termcons()` output type
#103
kris-brown
opened
10 months ago
0
opposite category model in stdlib
#102
kris-brown
closed
9 months ago
2
Support for Opposite Categories
#101
jpfairbanks
closed
9 months ago
1
Theory Morphisms
#100
kris-brown
closed
10 months ago
1
fix presentation parser
#99
kris-brown
closed
10 months ago
2
Nullary operations in default instances
#98
olynch
closed
9 months ago
0
TagBot trigger issue
#97
JuliaTagBot
closed
10 months ago
12
Theories should not be sensitive to ordering of @op blocks
#96
olynch
closed
9 months ago
0
GATExpr Utilities from Catlab
#95
olynch
closed
9 months ago
1
Adding Axioms to a presentation
#94
jpfairbanks
closed
10 months ago
1
Change name to GATlab
#93
olynch
closed
10 months ago
1
Coercing Type Constructors
#92
olynch
closed
10 months ago
1
Runtime check for valid models
#91
kris-brown
opened
10 months ago
0
CompatHelper: add new compat entry for Colors at version 0.12, (keep existing compat)
#90
algebraicjuliabot
closed
10 months ago
1
CompatHelper: add new compat entry for Crayons at version 4, (keep existing compat)
#89
algebraicjuliabot
closed
10 months ago
1
Associativity for GATExprs
#88
olynch
closed
9 months ago
0
Implement algebraic hierarchy, including R-algebras
#87
olynch
opened
10 months ago
0
`Ob` should construct an `Ob`, not verify
#86
olynch
closed
10 months ago
0
Provenance and metadata for variables in a Scope
#85
olynch
opened
10 months ago
0
Mini-refactor of Scopes
#84
olynch
closed
10 months ago
0
DOC: update docs to match new structure
#83
jpfairbanks
closed
10 months ago
1
Theory Macro should accept docstrings
#82
jpfairbanks
closed
9 months ago
1
Gatlab next
#81
olynch
closed
10 months ago
5
Symbolic constructs
#80
olynch
opened
10 months ago
1
added aliases
#79
olynch
closed
1 year ago
0
Docstrings on generators in a theory
#78
olynch
opened
1 year ago
3
Replacement for GATExpr
#77
olynch
closed
10 months ago
2
Instances via method declarations
#76
olynch
closed
1 year ago
1
Augmented Theories + Symbolics integration
#75
olynch
closed
1 year ago
1
CompatHelper: add new compat entry for TermInterface at version 0.3, (keep existing compat)
#74
github-actions[bot]
closed
1 year ago
0
Designing nested contexts
#73
olynch
opened
1 year ago
1
Migrating models along theory maps requires Julia types
#72
olynch
opened
1 year ago
2
Models should declare which variables they actually need
#71
olynch
closed
10 months ago
0
ETrms that contain their full context
#70
olynch
closed
1 year ago
1
Update `@context` and `@term` macros to run at macroexpand time
#69
olynch
closed
11 months ago
1
ThX.Th
#68
olynch
closed
1 year ago
2
Models next
#67
olynch
closed
1 year ago
2
Aliases for term constructors
#66
olynch
closed
10 months ago
0
Declaring models
#65
olynch
closed
1 year ago
1
Non-programmatic API
#64
olynch
closed
10 months ago
0
Model -> Model family
#63
olynch
closed
1 year ago
7
Types for models
#62
olynch
closed
1 year ago
1
Scaffolding for serialization of instances
#61
epatters
opened
1 year ago
0
Previous
Next