GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

Natural Numbers (un)curry Blow-Up

#158

· agureev opened

on Sep 7, 2023

Error node needs extension from <code>Maybe</code> to <code>Either E</code>

juvix-integration

#133

· rokopt opened

on May 31, 2023

Error node needs optimization to reduce introduced circuitry

#132

· rokopt opened

on May 31, 2023

Type for direct access to field elements

#122

· rokopt opened

on May 10, 2023

Type error for uncomposable morphisms

#121

· agureev opened

on May 8, 2023

Pasteable objects

#119

· mariari opened

on May 6, 2023

<code>bitc</code> could expose an intrinsic modulus to Geb (and Geb could expose it to clients)

#118

· rokopt opened

on May 3, 2023

<code>bitc</code> could be extended to support constraints

#117

· rokopt opened

on May 3, 2023

<code>bitc</code> could be extended to support modular arithmetic

#116

· rokopt opened

on May 3, 2023

Geb to Poly Compilation Bug

#111

· agureev opened

on Apr 28, 2023

Changing Bitc object structure to a bit-vector or vector

#110

· mariari opened

on Apr 28, 2023

Uncurry Pipeline Usage

#106

· agureev opened

on Apr 27, 2023

0