Skip to content
Snippets Groups Projects
Select Git revision
  • 568cf30a95f4e02efeefe9dd272aceebf355245d
  • master default protected
  • johannes
  • partial_parser
  • Aloui_Dary
  • ignore_punct
  • AC
  • classifier
  • fixhelp
  • libmacaon2
  • error_predictor
  • morpho
  • ssrnn
  • tfparsing
  • silvio
  • tagger_options
  • maca_trans_frame_parser
  • alexis
  • new_config
  • tagparse
  • maca_graph_parser
21 results

test_w2v.c

Blame
  • README.md 4.60 KiB

    Alligators-python

    About the project

    The main goal of the program is to generate the result of the beta_reduction of a lambda term given as an input and to show the images of the alligator's families that represents the lambda term and the different steps of it's beta_reduction. It also allows us to see how logical, boolean and arithmetic expressions are written in lambda calculus.

    Table of contents

    - The structures
    - What to install
    - How to install
    - Usage
    - Parsing syntax
    - Documentation
    - Project status and Contribution

    Structures

    Lambda terms are respresented by lists, the first element of the list is an indication to the type of the lambda term that it represents.
    Variable: [VAR, name]
    Abstraction: [ABS, input, output] input and output are also lambda terms
    Application: [APP, first_Term, second_Term] first_term and second_term are also lambda terms

    The JPEG images are already created, to build the image of a lambda term, we just have to concatenate the existing images and to colorate the alligators and eggs by random colors.

    What to install