2 ms·
>CakeML is also a very cool project in SML land. I've been very interested in CakeML lately, do you use it for anything?
by mbarbar 4y ago
>CakeML is also a very cool project in SML land.
I've been very interested in CakeML lately, do you use it for anything?