Skip to content
GitLab
Explore
Sign in
Haskell Substitution Stepper
substep
Merge requests
Open
0
Merged
36
Closed
0
All
36
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Refactoring
!36
· created
Jan 13, 2022
by
Robin Elvedi
Merged
Approved
1
updated
Jan 13, 2022
prevent infinite loops for recursive expressions
!35
· created
Dec 23, 2021
by
Jan Huber
Merged
0
updated
Dec 23, 2021
verbosity, functionname and showComments can be set
!34
· created
Dec 23, 2021
by
Jan Huber
Merged
0
updated
Dec 23, 2021
Add tests for pretty printer and "apply step"
!33
· created
Dec 22, 2021
by
Jan Huber
Merged
Approved
3
updated
Dec 23, 2021
improve default verbosity
!32
· created
Dec 21, 2021
by
Jan Huber
Merged
0
updated
Dec 21, 2021
fix evaluation bug
!31
· created
Dec 21, 2021
by
Jan Huber
Merged
0
updated
Dec 21, 2021
Feature custom verbosity
!30
· created
Dec 21, 2021
by
Jan Huber
Merged
0
updated
Dec 21, 2021
Feature custom verbosity
!29
· created
Dec 21, 2021
by
Jan Huber
Merged
0
updated
Dec 21, 2021
Feature custom verbosity
!28
· created
Dec 20, 2021
by
Jan Huber
Merged
0
updated
Dec 20, 2021
Improve core like printing
!27
· created
Dec 20, 2021
by
Jan Huber
Merged
0
updated
Dec 20, 2021
Improve core-like printing
!26
· created
Dec 20, 2021
by
Jan Huber
Merged
0
updated
Dec 20, 2021
Haddock documentation & Core Pretty Printer
!25
· created
Dec 20, 2021
by
Jan Huber
Merged
0
updated
Dec 20, 2021
Code cleanup and documentation
!24
· created
Dec 18, 2021
by
Jan Huber
Merged
0
updated
Dec 18, 2021
Code cleanup and documentation
!23
· created
Dec 18, 2021
by
Jan Huber
Merged
0
updated
Dec 18, 2021
check isTypeWrapperFunctionName
!22
· created
Dec 16, 2021
by
Jan Huber
Merged
0
updated
Dec 16, 2021
Feature automatically load prelude
!21
· created
Dec 16, 2021
by
Jan Huber
Merged
0
updated
Dec 16, 2021
Feature automatically load prelude
!20
· created
Dec 15, 2021
by
Jan Huber
Merged
0
updated
Dec 15, 2021
steppable prelude is included for each program
!19
· created
Dec 15, 2021
by
Jan Huber
Merged
0
updated
Dec 15, 2021
add helper functions for maybe and either
!18
· created
Dec 15, 2021
by
Jan Huber
Merged
0
updated
Dec 15, 2021
Feature: implement Eq type class for list and tuple
!17
· created
Dec 15, 2021
by
Jan Huber
Merged
0
updated
Dec 15, 2021
Prev
1
2
Next