This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
------------- | |
-- Punto 1 -- | |
data Sustancia | |
= Elemento { | |
nombre :: String, | |
simbolo :: String, | |
numeroAtomico :: Int, | |
grupo :: Grupo | |
} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module LaCasaDePdePEL where | |
import Text.Show.Functions | |
type Nivel = Int | |
type Habilidad = String | |
type Arma = Rehen -> Rehen | |
type Plan = Ladron -> Ladron | |
data Ladron = Ladron { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module TierraDeBarbaros where | |
{- | |
Tierra de Bárbaros | |
Rechapos! - En la tierra de Udrogoth los reyes bárbaros formaron un imperio de guerreros, dragones y magia. | |
Ahora marcharon a la guerra contra el mal y dejaron a sus herederos a cargo.... y bueno, hay que conformarse. | |
Sin embargo, nos encargaron confeccionar un programa en Haskell para manejar los asuntos del reino, y evitar | |
así el tener que gobernar. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
user www-data; | |
worker_processes auto; | |
pid /run/nginx.pid; | |
events { | |
worker_connections 768; | |
multi_accept on; | |
} | |
http { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
set -e | |
GITHUB_USERNAME=$1 | |
GITHUB_ORGANIZATION=$2 | |
if [ -z $USERNAME ] || [ -z $ORGANIZATION ]; then | |
echo '[ERROR] Missing arguments. Usage: ' | |
echo '' |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[user] | |
name = <YOUR_NAME> | |
email = <YOUR_EMAIL> | |
[alias] | |
l = log --graph --color --decorate=short | |
st = status | |
ci = commit | |
br = branch | |
co = checkout | |
cp = cherry-pick |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#include <Keypad.h> | |
#include <LiquidCrystal.h> | |
const int ROWS = 4; | |
const int COLS = 3; | |
const char keys[ROWS][COLS] = { | |
{'*', '0', '#'}, | |
{'7', '8', '9'}, | |
{'4', '5', '6'}, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
const int ledError = 51; | |
const int enable = 52; | |
const int buzzer = 53; | |
const int fila1 = 31; | |
const int fila2 = 32; | |
const int fila3 = 33; | |
const int fila4 = 34; | |
const int columna1 = 41; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
battery_level="" | |
function battery() { | |
echo $(acpi -b | grep -oE "[0-9][0-9]?%" | grep -oE "[0-9]+") | |
} | |
function play_sound() { | |
paplay /usr/share/sounds/LinuxMint/stereo/window-slide.ogg & |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
GIT_REPO=$(git config -l | grep "remote.origin.url=git@") | |
HTTP_REPO=$(git config -l | grep "remote.origin.url=https://") | |
if [ -n "$GIT_REPO" ]; then | |
REPO=$(echo $GIT_REPO | awk 'BEGIN { FS = "git@" } { print $2 }' | awk 'BEGIN { FS = ":" } { print $1"/"$2 }') | |
else | |
if [ -n "$HTTP_REPO" ]; then | |
REPO=$(echo $HTTP_REPO | awk 'BEGIN { FS = "https://" } { print $2 }') |