https://github.com/rustyyato/puritype

a pure functional lanuage syntactic sugar for type level metaprogramming in Rust
https://github.com/rustyyato/puritype

Last synced: about 1 year ago
JSON representation

a pure functional lanuage syntactic sugar for type level metaprogramming in Rust

• Host: GitHub
• URL: https://github.com/rustyyato/puritype
• Owner: RustyYato
• License: apache-2.0
• Created: 2020-07-21T19:49:25.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2020-07-27T21:56:08.000Z (almost 6 years ago)
• Last Synced: 2025-01-30T19:16:36.139Z (over 1 year ago)
• Language: Rust
• Size: 112 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: MIT-LICENSE

Awesome Lists containing this project

README

          
# puritype

A pure functional programming language that will compile to the Rust type system.

### License

This project is licensed under either of

 * Apache License, Version 2.0, ([LICENSE-APACHE](APACHE-LICENSE) or

   http://www.apache.org/licenses/LICENSE-2.0)

 * MIT license ([LICENSE-MIT](MIT-LICENSE) or

   http://opensource.org/licenses/MIT)

at your option.