4 ms·
Except for the little fact that Eiffel has had those features since 1986. Agda first release was in 2007 Idris also in 2007 Liquid Haskell thesis was published
by elviejo 7y ago
Except for the little fact that Eiffel has had those features since 1986.
Agda first release was in 2007
Idris also in 2007
Liquid Haskell thesis was published in 2016
- pezo1919 7y agoNote the words "to me".