|
|
|
|
|
|
by lambda_foo
438 days ago
|
|
|
David Christiansen did a more recent experience report from 2019 about using Dependently Typed Haskell at Galois. https://davidchristiansen.dk/pubs/dependent-haskell-experien... The video is on YouTube somewhere. Having used Haskell and some dependently typed Haskell around the same time, I thought it was a fair assessment of state of play. |
|
|