Skip to content

Pull requests: quchen/stgi

New pull request New
Clear current search query, filters, and sorts
0 Open 9 Closed
0 Open 9 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update to LTS 17.0
#103 by int-index was merged Jun 8, 2021 Loading…
3
Fix a few typos in ValidTransitions.hs
#102 by nineonine was merged May 17, 2019 Loading…
1
Extend rule6 InfoDetail with info about new bindings
#101 by nineonine was merged May 17, 2019 Loading…
1
Update pretty-printing code to work with current version of prettyprinter
#99 by mrkgnao was merged Jul 1, 2017 Loading…
2
Fix typo in Language.hs
#96 by bollu was merged Jun 1, 2017 Loading…
1
some tweaks
#92 by ggreif was closed Oct 2, 2016 Loading…
2
Fix typo
#82 by sid-kap was merged Jun 25, 2016 Loading…
1
Typos
#81 by ggreif was closed Jun 25, 2016 Loading…
1
Implement + test map
#1 by fmthoma was closed Apr 23, 2016 Loading…
1
ProTip! Updated in the last three days: updated:>2025-08-18.