Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
head.hackage
Merge requests
!161
Add Agda patch
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ryan Scott
requested to merge
RyanGlScott/head.hackage:2021-06-06
into
master
Jun 06, 2021
Overview
0
Commits
5
Pipelines
14
Changes
12
Expand
Merge request reports