Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
vkuncak
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
2 ms
·
1.
▲
by
vkuncak
10y ago
It would be quite realistic and interesting to have a translation between the Scala subset that Leon project supports (leon.epfl.ch) and ML. A good starting point for this is Stainless, a redesigned version of Leon: https://git
2.
▲
by
vkuncak
12y ago
Here are some resources on Leon, including github link, videos of talks, and more papers: http://lara.epfl.ch/w/leon