Type syntax in expressions (Was: [ANNOUNCE] GHC 9.12.1-alpha1 is now available)

Henning Thielemann <[email protected]>
Newsgroups gmane.comp.lang.haskell.cafe
Message-ID <[email protected]> 
On Wed, 16 Oct 2024, Jeffrey Brown wrote:

> > * GHC now accepts type syntax in expressions as part of [GHC Proposal #281]
> 
> I feel like you buried the lede :)
> 
> Many thanks to everyone involved!

I understand that this is part of the Dependent Haskell roadmap. Is there 
something cool and useful that we can already do with this new extension?
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.