. .
.
Programming with Inductive data
.
.

Objective

 

The objectives of this experiment are the following:

 

Designing recursive procedures that operate on inductive types

Define type and equality predicates on inductive types

At the end of this experiment, the student is expected to know how to write recursive procedures that work with inductive datatypes, and in

particular the type and equality predicates on inductive types.

Cite this Simulator:

.....
..... .....
Copyright @ 2017 Under the NME ICT initiative of MHRD (Licensing Terms)
 Powered by AmritaVirtual Lab Collaborative Platform [ Ver 00.11. ]