sahidr / lab.-lenguajes-i Goto Github PK

Universidad Simón Bolívar
Departamento de Computación y Tecnología de la Información
Laboratorio de Lenguajes I
Integrantes:	Sahid Reyes 10-10603
				Patricia Valencia. 10-10916


						Proyecto 1

Para cada módulo de este proyecto se necesitan las siguientes importaciones:

Para la función "prop" del módulo de teoremas contenido en Theorems.hs se requiere de: 

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}

module Theorems
( module Theorems
, module Terms
)where

import Terms


Para el módulo de teoremas contenido en cada archivo TheoremX_XX.hs
donde X_XX es el número del teorema correspondiente se requiere de:

import Functions