https://github.com/gandro/rusty-feat

Functional Enumeration of Algebraic Types for Rust
https://github.com/gandro/rusty-feat

Last synced: 25 days ago
JSON representation

Functional Enumeration of Algebraic Types for Rust

• Host: GitHub
• URL: https://github.com/gandro/rusty-feat
• Owner: gandro
• Created: 2017-03-01T23:00:06.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-03-04T13:59:22.000Z (almost 8 years ago)
• Last Synced: 2024-10-14T20:41:56.956Z (2 months ago)
• Language: Rust
• Size: 3.91 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# F.E.A.T. for Rust

A work-in-progress implementation of 

[Feat: Functional Enumeration of Algebraic Types](https://kar.kent.ac.uk/47486/)

in Rust.

> Note: It is currently unclear how to translate the definition of `Finite`

> type to Rust with regard to lazyness, but also the relationship between

> indexing and ownership.