https://github.com/AntonPing/norem-lang

A functional programming language with imperative features. "Norem" stands for "Not Really Monadic".
https://github.com/AntonPing/norem-lang

Last synced: 3 months ago
JSON representation

A functional programming language with imperative features. "Norem" stands for "Not Really Monadic".

• Host: GitHub
• URL: https://github.com/AntonPing/norem-lang
• Owner: AntonPing
• License: apache-2.0
• Created: 2024-05-26T07:22:50.000Z (about 1 year ago)
• Default Branch: master
• Last Pushed: 2024-06-19T15:15:16.000Z (12 months ago)
• Last Synced: 2025-03-10T06:21:04.947Z (3 months ago)
• Language: Rust
• Size: 53.7 KB
• Stars: 4
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - norem-lang - pure functional programming language with automatic verification and effect system. (Programming Language / Libraries)

README

        
# norem-lang

A functional programming language with imperative features. "Norem" stands for "Not Really Monadic".