anoma/geb

Issues

• Docs Cleanup

  #151 opened a year ago by mariari
  1

• Outline Geb compilation pipeline document

  #104 opened a year ago by rokopt
  1

• Natural Numbers (un)curry Blow-Up

  #158 opened a year ago by agureev
  0

• Uncurry Pipeline Usage

  #106 opened 2 years ago by agureev
  5

• Type error for uncomposable morphisms

  #121 opened 2 years ago by agureev
  1

• Geb input format changed

  #95 opened a year ago by lukaszcz
  4

• Error: "not a well-defined APP in said NIL"

  #137 opened a year ago by lukaszcz
  1

• Add functor/algebra iteration to Geb external API

  #62 opened 2 years ago by rokopt
  3

• Error node needs extension from `Maybe` to `Either E`

  #133 opened 2 years ago by rokopt
  0

• Error node needs optimization to reduce introduced circuitry

  #132 opened 2 years ago by rokopt
  0

• Geb should expose VampIR error conditions through its STLC API

  #90 opened 2 years ago by rokopt
  1

• Geb error with higher-order functions

  #94 opened 2 years ago by lukaszcz
  5

• Add modular-arithmetic types to Geb external API

  #61 opened 2 years ago by rokopt
  4

• Type for direct access to field elements

  #122 opened 2 years ago by rokopt
  0

• Test compilation of all STLC forms to VampIR

  #59 opened 2 years ago by rokopt
  3

• Geb generates incorrect function for the identity lambda-abstraction

  #93 opened 2 years ago by lukaszcz
  31

• Heap exhausted

  #96 opened 2 years ago by lukaszcz
  9

• Improve documentation examples.

  #25 opened 2 years ago by mariari
  0

• Properly artifact between jobs

  #34 opened 2 years ago by mariari
  0

• Make Interfaces/ Open Exhaustion

  #63 opened 2 years ago by mariari
  2

• Release Binaries on GitHub Releases

  #51 opened 2 years ago by jonaprieto
  3

• Common GEB standard library

  #85 opened 2 years ago by mariari
  0

• Mixin API for Categories

  #87 opened 2 years ago by mariari
  0

• Geb should use VampIR higher-order functions

  #89 opened 2 years ago by rokopt
  4

• Changing Bitc object structure to a bit-vector or vector

  #110 opened 2 years ago by mariari
  1

• geb-morphism frontend

  #103 opened 2 years ago by mariari
  0

• Pasteable objects

  #119 opened 2 years ago by mariari
  0

• `bitc` could be extended to support modular arithmetic

  #116 opened 2 years ago by rokopt
  0

• `bitc` could expose an intrinsic modulus to Geb (and Geb could expose it to clients)

  #118 opened 2 years ago by rokopt
  0

• `bitc` could be extended to support constraints

  #117 opened 2 years ago by rokopt
  0

• Geb to Poly Compilation Bug

  #111 opened 2 years ago by agureev
  1

• Code generator for Vampir repeats work

  #36 opened 2 years ago by mariari
  0

• Interpreter for bitc

  #109 opened 2 years ago by mariari
  1

• Infer type information for STLC application term

  #77 opened 2 years ago by rokopt
  1

• Improve the gui framework

  #23 opened 2 years ago by mariari
  1

• Extensions through Mixins

  #64 opened 2 years ago by mariari
  1

• Add explicit hom-object type to STLC spec

  #60 opened 2 years ago by rokopt
  1

• geb.image doesn't work (or I'm doing something wrong)

  #47 opened 2 years ago by lukaszcz
  13

• Make use of VampIR modulus function to decompose products

  #57 opened 2 years ago by rokopt
  1

• Missing type/object for left and right morphisms

  #53 opened 2 years ago by jonaprieto
  4

• Possibly-incorrect type error where Geb expects a product type

  #58 opened 2 years ago by rokopt
  5

• Test failure in `WEAK-POINTERS-WORK`

  #73 opened 2 years ago by rokopt
  3

• Potential CL syntax enhancement for ADT readability

  #2 opened 2 years ago by rokopt
  3