Leonardo de Moura
88801166b6
chore: update stage0
2024-01-09 12:57:15 +01:00
Leonardo de Moura
6fd7350c7b
chore: update stage0
2024-01-09 12:57:15 +01:00
Leonardo de Moura
23f2314da7
chore: update stage0
...
`Origin.decl` constructor has an extra field.
2024-01-09 12:57:15 +01:00
Lean stage0 autoupdater
fdc52e0ea9
chore: update stage0
2023-12-21 12:02:01 +00:00
Sebastian Ullrich
bddb2152e5
chore: default compiler.enableNew to false until development restarts ( #3034 )
2023-12-21 07:48:25 +00:00
Kyle Miller
a2226a43ac
feat: encode let_fun using a letFun function ( #2973 )
...
Switches from encoding `let_fun` using an annotated `(fun x : t => b) v`
expression to a function application `letFun v (fun x : t => b)`.
---------
Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch>
2023-12-18 09:01:42 +00:00
Joachim Breitner
00359a0347
chore: update stage0 ( #3041 )
2023-12-08 12:14:47 +00:00
Marc Huisinga
3025a4a9a1
chore: update stage0 ( #2992 )
...
Updates stage-0 so that we can use import auto-completion ourselves.
2023-11-29 15:26:12 +00:00
Joachim Breitner
0adca630cc
chore: update stage0
2023-11-21 18:59:22 +01:00
Kyle Miller
4bd0525a99
chore: update stage0
2023-11-12 16:57:51 +11:00
Henrik Böving
59d3b3d85a
chore: update stage0
2023-11-02 23:21:47 +01:00
Mauricio Collares
cfe5a5f188
chore: change simp default to decide := false ( #2722 )
2023-11-02 10:06:38 +11:00
Leonardo de Moura
af301fac55
chore: update stage0
2023-10-29 09:41:48 -07:00
Leonardo de Moura
a53ec40df1
chore: update stage0
2023-10-29 09:18:23 -07:00
Leonardo de Moura
08c47b2d61
chore: update stage0
2023-10-29 09:07:33 -07:00
Sebastian Ullrich
6c5f79c0df
chore: update stage0
2023-10-26 10:47:14 +02:00
Sebastian Ullrich
4114ffa273
chore: update stage0
2023-09-20 13:58:13 +02:00
Sebastian Ullrich
c2a5730bc9
chore: update stage0
2023-09-13 17:45:54 +02:00
Leonardo de Moura
fac9e64cdf
chore: update stage0
2023-08-13 09:56:29 -07:00
Siddharth Bhat
96c59ccced
chore: update stage0
2023-07-25 11:03:16 +02:00
Sebastian Ullrich
d5348dfac8
chore: update stage0
2023-06-06 15:01:00 +02:00
Mario Carneiro
0c624d8023
chore: update stage0
2023-06-02 16:19:02 +02:00
Gabriel Ebner
d58f552b84
chore: update stage0
2023-04-10 13:00:04 -07:00
Sebastian Ullrich
c327a61d33
chore: update stage0
2023-03-15 14:14:39 +01:00
Sebastian Ullrich
97b4143e14
chore: update stage0
2023-03-15 10:55:42 +01:00
Sebastian Ullrich
9d013ba3f5
chore: update stage0
2023-02-08 12:11:41 +01:00
Leonardo de Moura
57e30b670e
chore: update stage0
2023-01-04 10:32:12 -08:00
Gabriel Ebner
53ff517a92
chore: update stage0
2022-12-22 03:48:15 +01:00
Gabriel Ebner
4e02c55766
chore: update stage0
2022-12-21 04:24:39 +01:00
Sebastian Ullrich
4fa8d003d8
chore: update stage0
2022-12-13 22:15:05 +01:00
Gabriel Ebner
c83e33b06a
chore: update stage0
2022-12-01 20:18:14 -08:00
Leonardo de Moura
95467dfab7
chore: update stage0
2022-11-30 17:05:38 -08:00
Leonardo de Moura
2a36cf42d2
chore: update stage0
2022-11-30 06:43:57 -08:00
Leonardo de Moura
6bc919742e
chore: update stage0
2022-11-28 07:51:42 -08:00
Leonardo de Moura
17855b6e90
chore: update stage0
2022-11-24 12:57:43 -08:00
Leonardo de Moura
14d37739c7
chore: update stage0
2022-11-19 07:55:34 -08:00
Leonardo de Moura
6f5bd3ccb6
chore: update stage0
2022-11-16 13:32:08 -08:00
Sebastian Ullrich
fea819bf3c
chore: update stage0
2022-11-14 12:56:03 +01:00
Sebastian Ullrich
d44b70c24b
chore: update stage0
2022-11-11 13:45:41 +01:00
Sebastian Ullrich
64ec4106c3
chore: update stage0
2022-11-11 13:45:41 +01:00
Leonardo de Moura
afa567fc09
chore: update stage0
2022-11-09 16:58:52 -08:00
Leonardo de Moura
ab59cce346
chore: update stage0
2022-11-09 12:04:58 -08:00
Leonardo de Moura
65caa8f2c4
chore: update stage0
2022-11-07 18:20:48 -08:00
Mario Carneiro
2cd11d22af
chore: update stage0
2022-11-07 19:10:56 +01:00
Leonardo de Moura
60802d83af
chore: update stage0
2022-10-27 18:58:02 -07:00
Leonardo de Moura
bac4774b75
chore: update stage0
2022-10-26 21:56:23 -07:00
Leonardo de Moura
39808d4eef
chore: update stage0
2022-10-26 06:45:33 -07:00
Leonardo de Moura
0818cdc411
chore: update stage0
2022-10-26 06:28:50 -07:00
Mario Carneiro
e412edc0f6
chore: update stage0
2022-10-23 09:30:38 +02:00
Gabriel Ebner
c02955141b
chore: update stage0
2022-10-19 11:17:34 -07:00
