issues
search
anoma
/
geb
A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Ignore image build directory
#78
rokopt
closed
1 year ago
0
Infer type information for STLC application term
#77
rokopt
closed
1 year ago
1
Ignore this
#76
mariari
closed
1 year ago
2
[fix] Fix curry being incorrect
#75
mariari
closed
1 year ago
0
Make failures in the test fail the CI
#74
mariari
closed
1 year ago
0
Test failure in `WEAK-POINTERS-WORK`
#73
rokopt
closed
1 year ago
3
A very naive geb reduction system
#72
mariari
opened
1 year ago
0
Add proper aliasing throught the bool module
#71
mariari
closed
1 year ago
0
Various STLC fixes
#70
rokopt
closed
1 year ago
4
Pointwise modulo and less than for VampIR
#69
agureev
closed
1 year ago
1
Checkpoint dependent polynomial functor development
#68
rokopt
closed
1 year ago
0
Checkpoint Idris-2 development
#67
rokopt
closed
1 year ago
0
Graphical Graphing
#66
mariari
closed
1 year ago
0
Presenet the initial value
#65
mariari
closed
1 year ago
0
Extensions through Mixins
#64
mariari
closed
1 year ago
1
Make Interfaces/ Open Exhaustion
#63
mariari
opened
1 year ago
2
Add functor/algebra iteration to Geb external API
#62
rokopt
opened
1 year ago
3
Add modular-arithmetic types to Geb external API
#61
rokopt
opened
1 year ago
4
Add explicit hom-object type to STLC spec
#60
rokopt
closed
1 year ago
1
Test compilation of all STLC forms to VampIR
#59
rokopt
opened
1 year ago
3
Possibly-incorrect type error where Geb expects a product type
#58
rokopt
closed
1 year ago
5
Make use of VampIR modulus function to decompose products
#57
rokopt
closed
1 year ago
1
Meta data mixin
#56
mariari
closed
1 year ago
0
Fixup default pair function from lambda
#55
mariari
closed
1 year ago
0
Gui Documentation
#54
mariari
closed
1 year ago
0
Missing type/object for left and right morphisms
#53
jonaprieto
closed
1 year ago
4
Checkpoint of reflective polynomial functors, adjunctions, category-spec API, subobject classifiers
#52
rokopt
closed
1 year ago
0
Release Binaries on GitHub Releases
#51
jonaprieto
opened
1 year ago
3
Create an Implicit pipeline
#50
mariari
closed
1 year ago
0
Package cleanup
#49
mariari
closed
1 year ago
0
Use object-specific equality test for objects
#48
rokopt
closed
1 year ago
0
geb.image doesn't work (or I'm doing something wrong)
#47
lukaszcz
closed
1 year ago
13
Clean up the STLC Implementation
#46
mariari
closed
1 year ago
1
Binary creation
#45
mariari
closed
1 year ago
1
Update printer to the newer vampir spec
#44
mariari
closed
1 year ago
0
Add the object-equalp method to stlc terms
#43
mariari
closed
1 year ago
0
New s-expression and arena representations
#42
rokopt
closed
1 year ago
0
Artem/vampir aux fun
#41
agureev
closed
1 year ago
1
Fix: typos
#40
omahs
closed
1 year ago
1
Experiments with category-specifying API
#39
rokopt
closed
1 year ago
0
Further development of PFS endofunctors and dependent endofunctors
#38
rokopt
closed
1 year ago
0
If Zero Logic for vampir
#37
mariari
closed
1 year ago
0
Code generator for Vampir repeats work
#36
mariari
closed
1 year ago
0
Finishing translation of bnc poly
#35
mariari
closed
1 year ago
0
Properly artifact between jobs
#34
mariari
opened
1 year ago
0
Github Actions
#33
mariari
closed
1 year ago
0
Code Coverage and Profiling
#32
mariari
closed
1 year ago
0
Curry documentation and tests
#31
mariari
closed
1 year ago
0
Polynomial profunctors, and several core data structures as polynomial functors
#30
rokopt
closed
1 year ago
0
Checkpoint of Geb term type in terms of polynomial endofunctors
#29
rokopt
closed
1 year ago
0
Previous
Next