name of Core.Type conflicts with Data.Kind.Type #8

New Issue

Open

opened 2024-01-26 11:18:34 -07:00 by crumbtoo · 0 comments

crumbtoo commented 2024-01-26 11:18:34 -07:00 (Migrated from github.com)

Copy link

Copy source

rename to CoreTy or something

rename to `CoreTy` or something

Sign in to join this conversation.

No Branch/Tag Specified

Branches Tags

main

gm-visualiser-2

dev

bottom-up-hm

functor-sum-test

sysf

no-ttg

gm-visualiser

ugh

errorful

ttg

errorful-everything

named-core-case

frontend-parser

hm

rlp2core

happy-frontend

test-syntax

test-example-programs

v0.1.0

v0.0.0-alpha

Labels

Clear labels

bug

Something isn't working

documentation

Improvements or additions to documentation

duplicate

This issue or pull request already exists

enhancement

New feature or request

good first issue

Good for newcomers

help wanted

Extra attention is needed

invalid

This doesn't seem right

question

Further information is requested

wontfix

This will not be worked on

No labels

Milestone

No items

No Milestone

Projects

Clear projects

No projects

Assignees

Clear assignees

msyds (Madeleine Sydney Slaga)

No Assignees

1 Participants

Notifications

Subscribe

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: msyds/rlp#8