Thanks to visit codestin.com
Credit goes to github.com

Skip to content
This repository was archived by the owner on Apr 2, 2023. It is now read-only.
This repository was archived by the owner on Apr 2, 2023. It is now read-only.

Coe of V is wrong #692

Open
Open
Coe of V is wrong#692
Assignees
favonia
Labels
A-computation-systemI-bug
@favonia

Description

@favonia
favonia
opened on Sep 21, 2018

Coercion of V types in RedPRL is currently wrong because the algorithm does not work in the open-term setting.

Metadata

Metadata

Assignees

Labels

A-computation-systemI-bug

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions