Commit 4dd7bdcf authored by Nicolas Lenz's avatar Nicolas Lenz

Update 'ideas.md'

parent 38ecb218
......@@ -42,6 +42,11 @@ In the real-world, working with external data in file systems and databases is o
- ~~*Languages* (regular, context-free) at the language heart~~
- *Probably* nonsense
### Proofing
- Possible, but no priority
- [Curry-Howard-Isomorphism](https://de.wikipedia.org/wiki/Curry-Howard-Isomorphismus)
### Miscellaneous
- Typeclasses are called »traits« (→ Rust)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment