Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
rae/linear-prof
87b026a3
·
Force results of contHoleScaling
·
Jun 11, 2020
wip/perf-changes-squashed5a
cc8f7822
·
Fixup
·
Jun 08, 2020
wip/holes2
8fb0bbf9
·
Fix holes and haddock tests
·
Jun 08, 2020
wip/perf-changes-squashed4
812666ec
·
Fixup
·
Jun 08, 2020
merge-simplified-subsumption
4a0e3835
·
Fix tests
·
Jun 08, 2020
wip/current-squashed
445c28b3
·
WIP on linear types
·
Jun 05, 2020
wip/perf-changes-squashed3
90366e98
·
Fixup
·
Jun 05, 2020
wip/holes
66541d71
·
WIP on holes
·
Jun 04, 2020
wip/check-panic
3b6b81ef
·
Use a panic instead of an assert
·
Jun 04, 2020
wip/perf-changes-squashed2
ca9e4909
·
Add an ASSERT
·
Jun 03, 2020
wip/fix-haddock
c6e2c4bf
·
Fix duplicate types showing up in haddock
·
May 28, 2020
wip/perf-changes-rebased
a67664f2
·
Fixup
·
May 28, 2020
wip/perf-changes
60965d16
·
Remove scaleJoinPoint
·
May 28, 2020
wip/scaleidby
9deed85e
·
Add a callstack
·
May 28, 2020
wip/perf-changes-squashed
7d3e6a0f
·
WIP on linear types, squashed
9b59762f
·
May 26, 2020
wip/checkpoint2
84eaefdc
·
Use tyConAppTyCon_maybe instead of eqType
·
May 26, 2020
wip/checkpoint
996f3bc9
·
Use coreFullView more
·
May 26, 2020
merge-more-may
8070b812
·
Fixup
·
May 26, 2020
wip/funtycon-args-inline
02dbd2dc
·
INLINABLE + Add a pattern synonym for arguments to FunTyCon
·
May 25, 2020
further-merge
2d7af30f
·
Fix tests
·
May 22, 2020
Prev
1
…
7
8
9
10
11
12
13
14
15
…
35
Next