#dependenthaskell — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #dependenthaskell, aggregated by home.social.
-
I've gotten way more excited about #DependentHaskell after learning more about the implementation plans. It is not a watered down version of #Agda, but really a novel design with unique synergies that hasn't been tested in any other language that is used by so many people.
-
I've gotten way more excited about #DependentHaskell after learning more about the implementation plans. It is not a watered down version of #Agda, but really a novel design with unique synergies that hasn't been tested in any other language that is used by so many people.
-
I've gotten way more excited about #DependentHaskell after learning more about the implementation plans. It is not a watered down version of #Agda, but really a novel design with unique synergies that hasn't been tested in any other language that is used by so many people.
-
I've gotten way more excited about #DependentHaskell after learning more about the implementation plans. It is not a watered down version of #Agda, but really a novel design with unique synergies that hasn't been tested in any other language that is used by so many people.
-
I've gotten way more excited about #DependentHaskell after learning more about the implementation plans. It is not a watered down version of #Agda, but really a novel design with unique synergies that hasn't been tested in any other language that is used by so many people.