Skip to content
This repository has been archived by the owner on Mar 31, 2021. It is now read-only.
/ vlci Public archive

Lambda calculus interpreter

License

Notifications You must be signed in to change notification settings

vorotynsky/vlci

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

31 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Vorotynsky's lambda calculus interpreter

VLCI is a small software to calculate lambda expressions.

aim: create a program to run untyped lambdas.

Components

  • vlcp. Lambda calculus processor is a library what parses lambda expressions and execute theirs.
  • client is console ui.
  • tests is unit testing for vlcp
  • docs documentation.

BUILD

  1. Install cmake.

  2. To build vlci use following commands:

cmake .
cmake --build .

Testing

By default testing added to cmake file. ENABLE_TESTING is a parameter to enable/disable testing.

Testing requires Catch2.

cmake --DENABLE_TESTING=OFF . # turn off testing OR
cmake --DENABLE_TESTING=ON  . # turn on testing

cmake --build .
ctest .

Documentation

To enable/disable documentation generating toggle GENERATE_DOCS. Documentation generates if Doxygen installed.

Documentation building requires Doxygen and moxygen.

cmake --DGENERATE_DOCS=ON  .

# build only documentation
cmake --build . --target documentation

documentation target was added to ALL.

Releases

No releases published

Packages

No packages published