Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
    • Switch to GitLab Next
  • Sign in / Register
L
LIGO
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 151
    • Issues 151
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Jira
    • Jira
  • Merge Requests 44
    • Merge Requests 44
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Operations
    • Operations
    • Incidents
    • Environments
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Container Registry
  • Analytics
    • Analytics
    • CI / CD
    • Code Review
    • Insights
    • Issue
    • Repository
    • Value Stream
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • ligolang
  • LIGO
  • Issues

  • Open 151
  • Closed 850
  • All 1,001
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Weight Blocking
  • Create a type checker
    #1140 · opened Feb 25, 2021 by Suzanne Soy   Type System
    • 0
    updated Feb 25, 2021
  • Run both the current typer and the prototype typer
    #1139 · opened Feb 25, 2021 by Suzanne Soy   Type System
    • 0
    updated Feb 25, 2021
  • Fix auto-uncurry bugs by moving to backend
    #1138 · opened Feb 24, 2021 by Tom Jack   Back End Doing
    • 0
    updated Feb 24, 2021
  • Edofication part 1: tuples in the backend
    #1137 · opened Feb 24, 2021 by Tom Jack   Back End Doing
    • 0
    updated Feb 24, 2021
  • replace type_constraint_simpl with a single ~ constraint and a type_value_simpl
    #1136 · opened Feb 22, 2021 by Suzanne Soy   Typer: better kinds   Type System
    • 3
    • 0
    updated Feb 23, 2021
  • USER STORY: Feature branch web IDE deployments of the backend server and Netlify preview
    #1135 · opened Feb 22, 2021 by Gino Imbrailo   webide
    • 0
    updated Feb 22, 2021
  • has_contradiction indexer
    #1133 · opened Feb 20, 2021 by Suzanne Soy   Typer: better kinds   Type System
    • 1
    • 0
    updated Feb 20, 2021
  • generalizers for the typer
    #1132 · opened Feb 20, 2021 by Suzanne Soy   Typer: scheduler and generalizers   Type System
    • 1
    • 0
    updated Feb 20, 2021
  • scheduler for the typer
    #1131 · opened Feb 20, 2021 by Suzanne Soy   Typer: scheduler and generalizers   Type System
    • 2
    • 0
    updated Feb 22, 2021
  • step-by-step plug-in in the solver
    #1130 · opened Feb 20, 2021 by Suzanne Soy   Typer: Future features   Type System
    • 1
    • 0
    updated Feb 20, 2021
  • add tuples/lists of type_variables available in the solver
    #1129 · opened Feb 19, 2021 by Suzanne Soy   Typer: better kinds   Type System
    • 3
    • 0
    updated Feb 23, 2021
  • c_constructor_simpl should have a (ctor or row) tag and a single type_variable as an argument
    #1128 · opened Feb 19, 2021 by Suzanne Soy   Typer: better kinds   Type System
    • 1
    • 1
    updated Feb 23, 2021
  • detection of type errors should be turned into heuristics which deduce (x : False) or something similar
    #1127 · opened Feb 19, 2021 by Suzanne Soy   Typer: better kinds   Type System
    • 0
    updated Feb 19, 2021
  • find a way to identify which types appear at the top-level and which types are nested under hypotheses
    #1126 · opened Feb 19, 2021 by Suzanne Soy   Typer: better kinds   Type System
    • 1
    • 2
    updated Feb 22, 2021
  • type contradictions shouldn't be fatal
    #1125 · opened Feb 19, 2021 by Suzanne Soy   Typer: better kinds   Type System
    • 1
    • 0
    updated Feb 19, 2021
  • nested constraints in typeclasses should be rewritten with fresh variables and extracted to standalone constraints
    #1124 · opened Feb 19, 2021 by Suzanne Soy   Typer: better kinds   Type System
    • 0
    updated Feb 19, 2021
  • ∃ should be around the individual cases of the typeclass, not around the entire typeclass
    #1123 · opened Feb 19, 2021 by Suzanne Soy   Typer: better kinds   Type System
    • 1
    • 0
    updated Feb 19, 2021
  • type_constraint_simpl should allow more than just type_variables ?
    #1122 · opened Feb 19, 2021 by Suzanne Soy   Typer: better kinds   Type System
    • 4
    • 0
    updated Feb 23, 2021
  • Update ligo web ide client and backend to latest v8 taquito release
    #1121 · opened Feb 18, 2021 by Jev Björsell
    • 0
    updated Feb 19, 2021
  • Test typeclass heuristics   2 of 13 tasks completed
    #1119 · opened Feb 17, 2021 by Suzanne Soy   Typer: Prototype MVP   Doing Test To Do Type System
    • 1
    updated Feb 18, 2021
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • …
  • 8
  • Next