RedPRL/sml-redprl

Remove weak booleans.

Closed this issue · 1 comments

They are totally useless, and I suppose we do not need this to demonstrate fcom anymore. @cangiuli

Sure, that's fine.