Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

C

CoPaR
- Activity
- Members
- Labels
- Environments
- Incidents
- Service Desk

Snippets Groups Projects

This is an archived project. Repository and other project resources are read-only.

767b4937

Commit 767b4937 authored 6 years ago by Hans-Peter Deifel

Downloads
- Patches
- Plain Diff

Rename a few type variables from h to f

parent 4a649614

No related branches found

No related tags found

1 merge request!7Rename the functor H to F

Changes 9
Pipelines 1

Show whitespace changes

Inline Side-by-side

Showing

src/Copar/Algorithm.hs 1 addition, 1 deletion

src/Copar/Algorithm.hs
src/Copar/Algorithm/Initialize.hs 4 additions, 4 deletions

src/Copar/Algorithm/Initialize.hs
src/Copar/Algorithm/Split.hs 9 additions, 9 deletions

src/Copar/Algorithm/Split.hs
src/Copar/Algorithm/Types.hs 4 additions, 4 deletions

src/Copar/Algorithm/Types.hs
src/Copar/Coalgebra/RefinementTypes.hs 4 additions, 4 deletions

src/Copar/Coalgebra/RefinementTypes.hs
src/Copar/RefinementInterface.hs 3 additions, 3 deletions

src/Copar/RefinementInterface.hs
src/main/Main.hs 1 addition, 1 deletion

src/main/Main.hs
tests/Copar/Algorithm/SplitSpec.hs 4 additions, 4 deletions

tests/Copar/Algorithm/SplitSpec.hs
tests/Copar/Coalgebra/ParserSpec.hs 1 addition, 1 deletion

tests/Copar/Coalgebra/ParserSpec.hs

with 31 additions and 31 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment