Käynnissä

Small haskell assignment

Write a Haskell program that computes the normal form of a simply-typed lambda term in standard (not de Bruijn) notation.

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)

Taidot: Haskell

Näytä lisää: type write, type write band, type write paste, type write sound

About the Employer:
( 12 reviews ) hyderabad, United States

Projektin tunnus: #13126963

Myönnetty käyttäjälle:

Kotolegokot

A proposal has not yet been provided

20 $ USD 1 päivässä
(0 arvostelua)
0.0