Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
linear-test
a78f974f
·
WIP on linear types, based on
096313c7
·
Apr 10, 2020
linear-test2
afda2501
·
WIP on linear types, based on dd13940c55c
·
Apr 10, 2020
linear-current
322dbb46
·
Linear test (current)
·
Apr 23, 2020
wip/linear-current
7a2100a1
·
Linear test (current)
·
Apr 23, 2020
wip/linear-current2
c1b9ed21
·
Linear test (isReflCo)
·
Apr 23, 2020
wip/benchmark-comp
34a45ee6
·
PPC NCG: Add DWARF constants and debug labels
·
Apr 22, 2020
wip/merge-prefix2
88cd7784
·
Update default.nix and nixpkgs
·
Apr 27, 2020
wip/merge-branch
4f7bf4e8
·
Merge commit '
8ea37b01
' into wip/merge-branch
·
Apr 27, 2020
wip/no-one
f7a767f9
·
No One
·
Apr 27, 2020
wip/current-tip
1182572e
·
Remove O0
·
Apr 27, 2020
no-one
ba36e441
·
No One
·
Apr 27, 2020
wip/no-one-squashed
6f523242
·
Linear types, without One
·
Apr 27, 2020
wip/merge-prefix
19121cf0
·
Disable optimizations in Typeable
·
Apr 27, 2020
wip/eta-expand
7197e2d2
·
Check eta-expansion on master
·
Apr 29, 2020
wip/current-tip-squashed
9533b24c
·
Squashed linear types, based on
1182572e
·
Apr 29, 2020
scale-join-point
750a0158
·
Remove sc_mult
·
Apr 30, 2020
wip/strict-scaling
7da0ae34
·
Make holeScaling strict, optimize updateVarTypeAndMult
·
May 04, 2020
wip/expand-T12990
25101d12
·
Eta-expand T12990
·
May 04, 2020
wip/less-simplifier
93e8dc1d
·
Return a triple in splitFunTy_maybe
·
May 05, 2020
wip/less-simplifier2
8a9aee14
·
Cache manyDataConTy in mkTyConApp
·
May 13, 2020
Prev
1
…
19
20
21
22
23
24
25
26
27
…
34
Next