|
|
4c008577b4
|
wip make qtys into polynomials
|
2024-05-27 21:32:48 +02:00 |
|
|
|
1d8a6bb325
|
add polynomials
|
2024-05-27 21:32:48 +02:00 |
|
|
|
c063107ecc
|
add FromVarR, etc
`FromVarR` is a version of `FromVar` which needs the scope size
to be relevant at runtime
|
2024-05-27 21:32:01 +02:00 |
|
|
|
85f20680e6
|
add constructors to Located/Relocatable interfaces
|
2024-05-27 21:29:37 +02:00 |
|
|
|
42c2217907
|
Eq/Ord/Show for No
|
2024-05-27 21:29:37 +02:00 |
|
|
|
2d75b92d6d
|
telescope stuff
|
2024-05-27 21:29:37 +02:00 |
|
|
|
722c05225d
|
replace Context.tabulate with tabulateVar
- takes a function `Var n -> a`
- results are no longer backwards lmao
|
2024-05-27 21:29:37 +02:00 |
|
|
|
e880b7165a
|
remove Loc suffix from fromVar and Context.get
|
2024-05-27 21:29:37 +02:00 |
|
|
|
d9a383d8bb
|
remove TVarErr and DVarErr highlights
|
2024-05-27 21:29:37 +02:00 |
|
