Issues · ligolang / LIGO · GitLab

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