akifev/type-theory

Type Theory in ITMO, 2019

type-theory

Description

There are my solutions of problems from course of type theory in ITMO, 2019

Table Of Contents

• Description
• Table Of Contents
• Dependencies
  • Build dependencies
• Installation
  • Build And Run From Source Code
  • Optional
• Uninstallation
  • Delete math-logic
• Problems
  • Solutions

Dependencies

Build Dependencies

• GHC (compiler and interactive environment for Haskell)
• Alex (tool for generating lexical analysers in Haskell)
• Happy (parser generator system for Haskell)

Note: This tools contains in Haskell Platform.

Installation

Build And Run From Source Code

1. Make sure you have installed all Dependencies.

2. Clone this repository.

   $ git clone https://github.com/akifev/type-theory.git

3. Select problem.

   $ cd type-theory/A/ # for example problem A

4. Run application.

   $ make run

Optional

• Delete generated files.

  $ make clean

• Pack project.

  $ make pack

Uninstallation

Delete math-logic

1. Run.

   $ rm -Rf <path>

Note: <path> - path to type-theory/ directory

Problems

Solutions

1. A. Расстановка скобок в лямбда-выражении

Note: Statements are available on Russian language