This is the second part in my two-part series on Leibniz equality in| Ryan Scott
When using types, one often asks the question: when are two types| Ryan Scott
WARNING: This blog post describes an old GHC feature that no longer exists in| Ryan Scott
If you write enough Haskell programs, it’s quite likely that you’ll want to| Ryan Scott
GHC 8.10.1 is slated to be released| Ryan Scott
Tuples, aside from their weird syntax, are just like any other data type.| Ryan Scott
singletons-2.6| Ryan Scott
Higher-rank types are a very widely used feature in GHC.| Ryan Scott
Partial application is one of the most useful tools in a Haskell programmer’s| Ryan Scott
This post is based off of a talk I gave on March 8, 2019, that was| Ryan Scott