- all examples now compile and run smoothly
- many minor fixes
- the “welcome” page Cure: A Programming Language with Dependent Types and Formal Verification for BEAM - Cure Documentation
- better docs
- much better LSP/MCP
- typeclasses are almost there
3 Likes
Did you come to a conclusion on the ‘no corps’ licensing, I believe i saw the Apache 2.0 license, but my memory may be failing.
1 Like
Yes, Apache 2.0 it is.
I just read the ‘welcome’ page.
Do you know the word proskynesis?
This is beautiful work. Extreme respect.
1 Like
Luckily enough, Greek has been leaked into many different languages almost without distortions, so yeah, now I know this word also exists in English.
Thank you. I appreciate that. Sometimes warm word is the only weapon enforcing me to continue my OSS effort.
1 Like