Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
linear-lets
7485cb8c
·
use mult in general case of let
·
Aug 30, 2022
wip/T20315
40dac7bd
·
Fix printing of brackets in multiplicities (#20315)
·
May 12, 2022
master
default
protected
0600cb85
·
Add test for #20315
·
Apr 11, 2022
wip/T21261
934a0fa1
·
Eta reduction based on evaluation context (#21261)
·
Apr 03, 2022
wip/joachim/no-app-invariant
9d8c38d6
·
Drop the app invariant
·
Apr 03, 2022
wip/T21229
913492c0
·
test
·
Apr 02, 2022
wip/T21335
e9c8338f
·
Add /linters/*/dist-install/ to .gitignore
·
Apr 02, 2022
wip/T21328
5ebd87b4
·
Draft: Make mkFunCo take AnonArgFlags into account
·
Apr 02, 2022
wip/outputable-bndr-flag
23543828
·
Refactor OutputableBndrFlag instances
·
Apr 02, 2022
wip/T18389-task-zero
ff8d8126
·
Introduce and use ConGadtSigBody (preparatory refactor for #18389)
·
Apr 02, 2022
wip/sjakobi/seq-no-size
bcfa3e65
·
Improve seq[D]VarSet
·
Apr 02, 2022
wip/sjakobi/less-intmap-size
5a4a5725
·
Remove two uses of IntMap.size
·
Apr 02, 2022
wip/T20940
1400a318
·
Check for zero-bit types in sizeExpr
·
Apr 02, 2022
wip/matt-batch-2
aefb1e6d
·
Ensure implicit parameters are lifted
·
Apr 01, 2022
wip/T21302
3569af4e
·
Fix the free-var test in validDerivPred
·
Apr 01, 2022
wip/T21301
82a8c0df
·
Fix error when using empty case in arrow notation
·
Apr 01, 2022
wip/head-hackage-needs
bf822406
·
ci: Remove doc-tarball dependency from perf and perf-nofib jobs
·
Apr 01, 2022
wip/no-c-stubs
900db61e
·
Refactor handling of global initializers
·
Apr 01, 2022
wip/windows-clang-join
2063bfa4
·
Merge branch 'wip/T21295' into wip/windows-clang-join
·
Apr 01, 2022
wip/object-merging-via-archives
76dd4aef
·
Build ar archives with -L when "joining" objects
·
Apr 01, 2022
Prev
1
2
3
4
5
…
149
Next