Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
unpack_sums
3f211235
·
Update a comment
·
Nov 14, 2016
master
default
protected
de3935a6
·
Add shake 0.18.3 to extra deps
·
Jul 12, 2019
miri-backpack/0
8098dda8
·
Merge remote-tracking branch 'obsidian/skip-associated-type-defaults-in-sig' into miri-bundle-0
·
Sep 27, 2019
miri-release/0
8098dda8
·
Merge remote-tracking branch 'obsidian/skip-associated-type-defaults-in-sig' into miri-bundle-0
·
Sep 27, 2019
backpack-j-8.6
c56de4b8
·
WIP: Put hole instantiation typechecking in the module graph
·
Oct 15, 2019
skip-associated-type-defaults-in-sig-8.6
e8ca51c7
·
Skip type family defaults with hs-boot and hsig files
·
Oct 16, 2019
miri-backpack-8.6/0
d9fc3017
·
Merge remote-tracking branches...
·
Oct 16, 2019
miri-release-8.6/0
d9fc3017
·
Merge remote-tracking branches...
·
Oct 16, 2019
skip-associated-type-defaults-in-sig-8.8
e164d7b5
·
Skip type family defaults with hs-boot and hsig files
·
Oct 24, 2019
backpack-j-8.8
2cf07e33
·
WIP: Put hole instantiation typechecking in the module graph
·
Oct 29, 2019
wip/abrar/splices-8.6.5
856e342d
·
Use Obsidian Systems haddock
·
Nov 26, 2019
backport-absolute-submodule-url-8.8
03c58e34
·
Make all submodules have absolute URLs
·
Dec 06, 2019
je-match-non-empty
546f98a8
·
Use non-empty lists to remove partiality in matching code
·
Jan 06, 2020
wip/ghc-8.10+fallibledo
6b2dcd46
·
Fix warnings from required deprecated flags.
·
Jan 16, 2020
cg-tyapp-pat-old
8576543e
·
WIP: Add fields to ConPatIn and ConPatOut for representing explicit type...
·
Jan 28, 2020
cg-tyapp-pat-on-master
77d95505
·
WIP: Added type applications in patterns to the parser, and put stubs in the...
·
Jan 28, 2020
fallibledo-8.10/0
715fb88c
·
Add FallibleDo to list of extensions expected in GHC and not Cabal (for now).
·
Jan 29, 2020
wip/fallibledo-8.10/0
715fb88c
·
Add FallibleDo to list of extensions expected in GHC and not Cabal (for now).
·
Jan 29, 2020
fallibledo-8.8/0
94aecf71
·
Add FallibleDo to list of extensions expected in GHC and not Cabal (for now).
·
Feb 07, 2020
wip/miri-backpack-8.8/0
bebb4880
·
Merge branch 'fallibledo-8.8/0' into wip/miri-backpack-8.8/0
·
Feb 12, 2020
Prev
1
2
3
4
Next