|
|
|
|
|
|
by codygman
4352 days ago
|
|
|
And the more expressive your type system is, the more that becomes true. It will be interesting to see what is done for Idris tooling if it gets some popularity. There's also lamdu[0] being made for Haskell which is pretty interesting. 0: https://peaker.github.io/lamdu/ |
|
|