Skip to content

Instantly share code, notes, and snippets.

@s9gf4ult

s9gf4ult/Main.hs

Created January 25, 2016 15:05
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save s9gf4ult/b16dce7d1c83b6b910ba to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save s9gf4ult/b16dce7d1c83b6b910ba to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Main.hs
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE DataKinds #-}
module Main where
import Data.Vector.Sized
import Data.Type.Natural
x :: Vector Int [nat| 2 |]
x = 1 :- 2 :- Nil
main :: IO ()
main = do
print x
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment