Tom Harding i-am-tom

Here's the unusually long linkography from the Zoom chat during World Building in Haskell with Tom Harding:

The inventor of Liquid Haskell Ranjit Jhala is funny: https://www.youtube.com/watch?v=Ci48kqp11F8

Fun Prolog stuff, totally off-topic: https://arxiv.org/abs/1809.02840

	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE ConstraintKinds #-}
	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE KindSignatures #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE TypeApplications #-}

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE UndecidableInstances #-}

	-- (some examples at the bottom)

	import Data.Kind (Constraint, Type)
	import GHC.TypeLits (Nat, type (+), type (*))

	module Grammar where

	import Prelude

	import Control.Applicative.Free (FreeAp, liftFreeAp, foldFreeAp)
	import Control.Alt (class Alt, (<\|>))
	import Control.Alternative (class Alternative)
	import Control.Monad.Eff (Eff)
	import Control.Monad.Eff.Console (log, CONSOLE)
	import Control.Plus (class Plus, empty)