🦀

Aleksey Kliger (λgeek) lambdageek

🦀

I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.

ekmett / TypedNBE.hs

Last active September 7, 2020 19:37

Typed normalization-by-evaluation using a slowed category action

	{-# Language CPP #-}
	{-# Language BlockArguments #-}
	{-# Language GADTs #-}
	{-# Language RankNTypes #-}
	{-# Language ViewPatterns #-}
	{-# Language TypeApplications #-}
	{-# Language BangPatterns #-}
	{-# Language TypeOperators #-}
	{-# Language TypeFamilyDependencies #-}
	{-# Language DataKinds #-}