Suljettu

a simple haskell task

computing the normal form of a simply-typed lambda term in standard (not de Bruijn) notation. can make use for your task of the code given for checking that a term is typable.

The data type defining a lambda term in standard form is:

data STerm = Vs Int | Ls Int STerm | As STerm STerm deriving (Eq,Show,Read)

if you might want to look at/or change the program , at LamEval.hs.,that computes the normal form of an arbitrary lambda term in de Bruijn form.

can also simplify the program knowing that the evaluation order can be one of the choice for simply-typed terms and that for them the normalization process always terminates.

Taidot: Haskell

Näytä lisää: i want to write shayaris and stories on internet as a fresh writer how can i do that so that people can read them, haskell simple tasks, free simple task manager blackberry, access vba excel task manager simple, simple programming task java, simple php task, simple free blackberry task list, this simple easy task anyone knows doing, simple easy task anyone knows, simple data entry online task, javascript simple task, log simple secure php fast mysql task, sample simple task describe, simple machines task, develop simple task, simple task list php

Tietoa työnantajasta:
( 0 arvostelua ) United States

Projektin tunnus: #13151686