I hereby claim:
- I am m1dnight on github.
- I am cdetroye (https://keybase.io/cdetroye) on keybase.
- I have a public key whose fingerprint is 2CC3 A6B2 5121 4824 96A3 7410 30AE DA18 9BBA E2C2
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
| import requests | |
| import json | |
| from requests.auth import HTTPBasicAuth | |
| #################################################################################### | |
| # Author: Christophe De Troyer # | |
| # Created: 09/10/2015 # | |
| # Version: 1.0 # | |
| # # | |
| # Description: # |
| module Parse where | |
| import Text.Parsec | |
| import Text.Parsec.Combinator | |
| import Syntax | |
| import Data.List | |
| ---------------------- | |
| -- Main entry point -- | |
| ---------------------- |
| module Main where | |
| import Network.Socket hiding (send, sendTo, recv, recvFrom) | |
| import Network.Socket.ByteString (send, recv) | |
| import qualified Data.ByteString.Char8 as B8 | |
| main :: IO() | |
| main = client' 110 |
| { | |
| module Main (main) where | |
| } | |
| %wrapper "monadUserState" | |
| $digit = 0-9 -- digits | |
| $alpha = [a-zA-Z] -- alphabetic characters | |
| -- Each token has a function on the RHS that is a function (String -> |
| module UnificationLearning | |
| // Unification algorithm | |
| // | |
| // Portions Copyright (C) 2012 by Tomas Petricek | |
| // Copyright (C) 2012 by Eric Taucher | |
| // License: Creative Commons BY-SA Version 3.0 | |
| // | |
| // This code is derived from a StackOverflow answer by Tomas Petricek | |
| // See: http://stackoverflow.com/a/9525471/1243762 | |
| // |
| module Main where | |
| import Data.Maybe | |
| -- ____ _ _ _____ _ | |
| -- / ___|(_)_ __ ___ _ __ | |_ _ |_ _| _ _ __ ___ __| | | |
| -- \___ \| | '_ ` _ \| '_ \| | | | | | || | | | '_ \ / _ \/ _` | | |
| -- ___) | | | | | | | |_) | | |_| | | || |_| | |_) | __/ (_| | | |
| -- |____/|_|_| |_| |_| .__/|_|\__, | |_| \__, | .__/ \___|\__,_| | |
| -- _ |_| _ |___/_ |___/|_| _ _ | |
| -- | | __ _ _ __ ___ | |__ __| | __ _ / ___|__ _| | ___ _ _| |_ _ ___ |
| module Main where | |
| import Control.Arrow | |
| import Debug.Trace | |
| import Control.Monad.State | |
| import Data.List hiding (union) | |
| import Data.Maybe | |
| import Syntax | |
| import Text.Printf | |
| -- ____ _ _____ _ |
| { | |
| module Lexer where | |
| } | |
| %wrapper "monadUserState" | |
| $digit = 0-9 -- digits | |
| $alpha = [a-zA-Z] -- alphabetic characters | |
| -- Each token has a function on the RHS that is a function (String -> |
I hereby claim:
To claim this, I am signing this object: