Skip to content
This repository has been archived by the owner on Feb 5, 2022. It is now read-only.

Add top-level README.md #220

Closed
jeltsch opened this issue Nov 19, 2020 · 0 comments · Fixed by #221
Closed

Add top-level README.md #220

jeltsch opened this issue Nov 19, 2020 · 0 comments · Fixed by #221
Assignees
@jeltsch
Labels
type: enhancement
Milestone
2020-11-30 meeting

Comments

@jeltsch
Copy link
Contributor

jeltsch commented Nov 19, 2020

Our goal is to add a top-level README.md. This should in particular point people interested in the new framework for labeled transition systems and in the Þ-calculus to the thorn-calculus-preliminary branch.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@jeltsch jeltsch

Labels
type: enhancement
Projects
None yet
Milestone
2020-11-30 meeting
Development

Successfully merging a pull request may close this issue.

Add top-level README.md input-output-hk/high-assurance-legacy
1 participant
@jeltsch