Skip to content

Instantly share code, notes, and snippets.

@viclib
Created September 4, 2013 08:58
Show Gist options
  • Save viclib/6434497 to your computer and use it in GitHub Desktop.
Save viclib/6434497 to your computer and use it in GitHub Desktop.

Revisions

  1. viclib created this gist Sep 4, 2013.
    4 changes: 4 additions & 0 deletions gistfile1.txt
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,4 @@
    testVec : Vect 5 Int
    testVec = 3 :: 4 :: 5 :: 6 :: 7 :: Nil
    aff : Int
    aff = index (2 + 2) testVec