さっそくGTAでDPの練習 - Qiita

# !/usr/bin/env runhaskell {-# LANGUAGE NoImplicitPrelude, RecordWildCards #-} {-# OPTIONS -Wall #-} module Main where import Data.Maybe import Data.Tensor.TypeLevel import GTA.Data.JoinList import GTA.Core hiding (items) import NumericPrelude knightMoves :: [Vec2 Int] knightMoves = [Vec :~ x :~ y | x <- [-2..2], y<-[-2..2], x^2 + y^2 == 5] canMoveTo :: Vec2 Int -> Vec2 Int -> Bool canMoveTo a b =