Standard ML
Welcome to the Standard ML discussion forum. In this forum, you may ask questions, start new discussions, and view existing posts. Click here to create a discussion account.

Click on the Subscribe button to receive email notifications each time a new discussion is started in this forum.
Ask a Question
Start new Discussion
  Subject Replies Date
(a) Using the SML system to define a datatype for labeled 4-branch trees, the trees with possible zero, one, two, three or four branches. Label the n... 0 9/26/2015
I have to create a function about peano numbers defined as the following datatype: datatype 'a peano = P of ('a -> 'a) * 'a -> 'a val zero = P(f... 0 2/4/2014
 
x
OK