This file contains 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
import System.IO | |
promptLine :: String -> IO String | |
promptLine prompt = do | |
putStr prompt | |
hFlush stdout | |
getLine | |
doesQuit :: String -> Bool | |
doesQuit "" = True |
This file contains 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
-- Simple Vty area rendering | |
import Graphics.Vty | |
import Data.Char | |
type X = Int | |
type Y = Int | |
type Loc = (Y,X) | |
type Dir = (Y,X) | |
type Area = ((Y,X),(Y,X)) |
This file contains 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
-- Dummy parser module with stubs to be filled in by students | |
{-# LANGUAGE FlexibleInstances#-} | |
{-# LANGUAGE MultiParamTypeClasses #-} | |
module DummyParser(Parser,runParser,item) where | |
import Control.Monad | |
newtype Parser a = Parser a | |
runParser :: Parser a -> [Char] -> Either String (a,String) | |
runParser = undefined |
This file contains 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 Constraints where | |
import Data.List(union,intersect,nub) | |
type Tyvar = String | |
infixr 5 :-> | |
data Type = TInt | Type :-> Type | TVar Tyvar | |
deriving Eq | |
instance Show Type where |
This file contains 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
*.agdai | |
*~ |
This file contains 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
<!doctype html> | |
<html> | |
<head> | |
<style type="text/css"> | |
a.test { font-weight: bold; } | |
</style> | |
<script type="text/javascript" src="jquery.js"></script> | |
<script type="text/javascript"> |
This file contains 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
<!doctype html> | |
<html> | |
<head> | |
<style type="text/css"> | |
a.test { font-weight: bold; } | |
</style> | |
<script type="text/javascript" src="jquery.js"></script> | |
<script type="text/javascript"> |
This file contains 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
%option noyywrap | |
D [0-9] | |
L [A-Za-z_] | |
%start COMMENT | |
%{ | |
int depth = 0; | |
%} | |
%% | |
ifdef | |
ifndef |
This file contains 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
formulas(sos). | |
% data nat = z | s nat | |
nat(cz). | |
-nat(x) | nat(cs(x)). | |
plus(cz,x) = x. | |
plus(cs(x),y) = cs(plus(x,y)). | |
end_of_list. | |
formulas(goals). | |
% T(n) ≡ ∀ n :: nat.plus(n,zero) = plus(zero,n) |
This file contains 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
soczewki | |
"soczewki kontaktowe" | |
[szkła kontaktowe] | |
[soczewki kontaktowe] | |
[szkla kontaktowe] | |
tanie soczewki | |
najtańsze soczewki | |
"soczewki" | |
[soczewki] | |
[kontaktowe] |
OlderNewer