Đang Thực Hiện

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)

Kỹ năng: Haskell

Xem thêm: type write, type write band, type write paste, type write sound

Về Bên Thuê:
( 12 nhận xét ) hyderabad, United States

Mã Dự Án: #13126963

Đã trao cho:

Kotolegokot

A proposal has not yet been provided

$20 USD trong 1 ngày
(0 Đánh Giá)
0.0