close nav

close nav


Forum: ML / ML Miscellaneous

Questions related from various topics of ML can be asked here

11 Jul, 2019
User Image
Sriman

Contributor

Joined: 15 Jul, 2016

Points: 1820

Threads: 1913

Posts: 293

How to put the legend out of the plot

I have a series of 20 plots (not subplots) to be made in a single figu... More

Last edited by Sriman: 11 Jul, 2019
Replies: 0 | Views: 212


No Posts Available
11 Jul, 2019
User Image
Sriman

Contributor

Joined: 15 Jul, 2016

Points: 1820

Threads: 1913

Posts: 293

Why is my xlabel cut off in my matplotlib plot

I am plotting a dataset using matplotlib where I have an xlabel that i... More

Last edited by Sriman: 11 Jul, 2019
Replies: 0 | Views: 236


No Posts Available
11 Jul, 2019
User Image
Sriman

Contributor

Joined: 15 Jul, 2016

Points: 1820

Threads: 1913

Posts: 293

Standard ML Proof of soundness

Regarding the Standard ML compiler, my question is,even though ML itse... More

Last edited by Sriman: 11 Jul, 2019
Replies: 0 | Views: 213


No Posts Available
11 Jul, 2019
User Image
Sriman

Contributor

Joined: 15 Jul, 2016

Points: 1820

Threads: 1913

Posts: 293

How do I execute, as part of a ML command, a string that contains ML source

From the Isabelle user list Makarius Wenzel says this:     I... More

Last edited by Sriman: 11 Jul, 2019
Replies: 0 | Views: 218


No Posts Available
11 Jul, 2019
User Image
Sriman

Contributor

Joined: 15 Jul, 2016

Points: 1820

Threads: 1913

Posts: 293

Compound function in ML

I need to write a function compound in ML that will behave as follows:... More

Last edited by Sriman: 11 Jul, 2019
Replies: 0 | Views: 213


No Posts Available
<< Previous Forum | Next Forum >>