Merge requests · waldmann / cyp · GitLab

Did some proofreading of sections 1-5. Updated proof examples in section '2:...

!13 · created Jan 31, 2023 by waldmann
Resolve "build error with ghc-9.2"

!12 · created Nov 18, 2022 by waldmann
- Merged
updated Nov 18, 2022
Started typing for lemmas: Added ability to specify type signature for a...

!11 · created Apr 28, 2022 by waldmann
- Merged
updated Apr 28, 2022
Resolve "update resolver and extra libraries for current LTS"

!10 · created Apr 21, 2021 by waldmann
- Merged
updated Apr 21, 2021
Refactor inference

!9 · created Jun 05, 2020 by waldmann
- Merged
updated Jun 06, 2020
Resolve "write expression parser from scratch"

!8 · created Apr 29, 2020 by waldmann
parser
- Merged
updated May 13, 2020
Resolve "allow top-level "..." do denote that extra lemmas can be put here"

!7 · created Apr 27, 2020 by waldmann
blueprinting
- Merged
updated Apr 27, 2020
Resolve "add modus `-b` that checks if module is valid blueprint"

!6 · created Apr 27, 2020 by waldmann
blueprinting
- Merged
updated Apr 27, 2020
Resolve "report several errors from proof checking"

!5 · created Apr 26, 2020 by waldmann
suggestion
- Merged
updated Apr 27, 2020
Resolve "allow "..." to denote missing cases in proof by case analysis"

!4 · created Apr 25, 2020 by waldmann
blueprinting
- Merged
updated Apr 27, 2020
Resolve "refactor test driver Test.Info2.Cyp.Tasty"

!3 · created Apr 25, 2020 by waldmann
- Merged
updated Apr 25, 2020
WIP: Resolve "hole in `(by _)` should be accepted locally"

!2 · created Apr 24, 2020 by waldmann
- 1
updated Apr 24, 2020
Cleanup

!1 · created Apr 16, 2020 by waldmann
- Merged
updated Apr 17, 2020