Gabriella439 / Gabriella439/Haskell-Morte-Library
How do I encode my datatype?
Open
- Dominant language
- Haskell
- Stars
- 384
- Forks
- 25
- PR merge metrics
- No merged PRs in 30d
Description
Hi, @Gabriel439 !
I have a weird datatype like this one:
```haskell
data WList a = WNil | WCons a (WList Bool)
```
How can I encode it in CoC/Morte?
Contributor guide
No contributing guide indexed for this repository
Research direction
Start with the WList definition in the issue and the CoC/Morte encoding rules. Determine whether this datatype can be represented and what a valid encoding would need to demonstrate; done would be a clear, agreed explanation for encoding this example.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- compilers
- Issue type
- Documentation
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 15/100