Search results

Documentation for Lean Version Upgrade

Status: Open.

#280 In argumentcomputer/yatima;

· agureev opened on Oct 18, 2023

Commit the typechecker as an actual lambda

enhancementNew feature or requestNew feature or request

infra

Status: Open.

#275 In argumentcomputer/yatima;

· arthurpaulino opened on Mar 29, 2023

Simplify the typechecker by removing lambda inference

enhancementNew feature or requestNew feature or request

typechecker

Status: Open.

#272 In argumentcomputer/yatima;

· gabriel-barrett opened on Mar 27, 2023

Remove thunks from the typechecker

enhancementNew feature or requestNew feature or request

typechecker

Status: Open.

#268 In argumentcomputer/yatima;

· arthurpaulino opened on Mar 23, 2023

need new flake.nix for Poseidon dependency

Status: Open.

#249 In argumentcomputer/yatima;

· johnchandlerburnham opened on Mar 7, 2023

Constant -> Declaration

good first issueGood for newcomersGood for newcomers

Status: Open.

#245 In argumentcomputer/yatima;

· arthurpaulino opened on Mar 1, 2023

Typechecker stack overflow

bugSomething isn't workingSomething isn't working

typechecker

Status: Open.

#243 In argumentcomputer/yatima;

· arthurpaulino opened on Feb 27, 2023

Compiler to the EVM through Yul

Status: Open.

#238 In argumentcomputer/yatima;

· gabriel-barrett opened on Jan 8, 2023

Negative typecheck tests

typechecker

Status: Open.

#181 In argumentcomputer/yatima;

· arthurpaulino opened on Aug 30, 2022

·  

G1.M4

Document everything

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#158 In argumentcomputer/yatima;

· arthurpaulino opened on Aug 12, 2022

·  

G1.M3

Proposal: Make the Yatima.Compiler.Graph a generic library

Status: Open.

#88 In argumentcomputer/yatima;

· NicolasRouquette opened on Jul 3, 2022