joshuapassos

#Generated by Kickstart Configurator
#platform=x86

#System language
lang en_US
#Language modules to install
langsupport en_US
#System keyboard
keyboard br
#System mouse

joshuapassos

-- 1 Problem 1
-- (*) Find the last element of a list.

_myLast :: [a] -> a
_myLast [] = error "empty list"
_myLast [x] = x
_myLast (_:xs) = _myLast xs


-- 2 Problem 2

joshuapassos

{
    "defaultSeverity": "error",
    "linterOptions": {
      "exclude": [
        "src/**/api.ts",
        "src/spec/**",
        "src/**/*.d.ts",
        "src/**/spec*.ts"
      ]
    },

joshuapassos

### Keybase proof

I hereby claim:

  * I am joshuapassos on github.
  * I am joshuapassos (https://keybase.io/joshuapassos) on keybase.
  * I have a public key ASD7zJ9ALQU_2oS4N_2Y3H1f6Xidxc4Fh4KFFW-uTOJHpAo

To claim this, I am signing this object:

joshuapassos

import Control.Monad.State
 
-- Example use of State monad
-- Passes a string of dictionary {a,b,c}
-- Game is to produce a number from the string.
-- By default the game is off, a C toggles the
-- game on and off. A 'a' gives +1 and a b gives -1.
-- E.g 
-- 'ab'    = 0
-- 'ca'    = 1

joshuapassos

/* Refutation Tree  by Josh */




%lex
%%

\s*\n\s*  {/* ignore */}

joshuapassos

{-# LANGUAGE DataKinds, KindSignatures, TypeOperators, GADTs, TypeFamilies, UndecidableInstances #-}

{- about invariants -}
data NatPos = One | Succ NatPos

data SingleNatPos :: NatPos -> * where
    SingleOne  :: SingleNatPos One
    SingleSucc :: SingleNatPos natpos -> SingleNatPos (Succ natpos)

type family (m :: NatPos) |+| (n :: NatPos) :: NatPos where

joshuapassos

// Use Gists to store code you would like to remember later on
console.log(window); // log the "window" object to the console

joshuapassos

import math

print """Para escrever um vetor voce usa a seguinte notacao:
a = [1,2,3,4,5]
Depois que voce inserir os vetores voce coloca:
solve(a,b,c,d)
"""
b = 9*[-4]
a = 8*[1.9]
c = 8*[2.1]

joshuapassos

Haskell: Primeiros passos e bookmarks.

Primeiros passos:

• Getting started with Haskell
• Learn Haskell

Livros:

• Learn You a Haskell for Great Good!
• Real World Haskell
• Free programming books: Haskell