I have not heard of Pancake, seems interesting. It led me to https://cakeml.org https://cakeml.org. Looking at https://github.com/CakeML/cakeml/blob/3194e00b69c

I have not heard of Pancake, seems interesting. It led me to https://cakeml.org https://cakeml.org. Looking at https://github.com/CakeML/cakeml/blob/3194e00b69ce817cf477515ac309fe832eee2817/tutorial/splitwordsScript.sml#L44 https://github.com/CakeML/cakeml/blob/3194e00b69ce817cf47751..., I feel quite dumb. :P