All Stories

  1. Chesskell: Implementing Chess at the Type Level in Haskell