New mindmap to get overview of Metasepi project

[Kiwamu Okabe]

Hi all,

I'm re-fined new mindmap to get overview of Metasepi project.

http://metasepi.org/map.html#mind-map

It includes new solution https://github.com/verifast/verifast.
Last year, we have some month to touch the VeriFast, which
is good for low level programming.

We will try to use it in parallel with ATS compiler in this year.

Best regards,
--
Kiwamu Okabe at METASEPI DESIGN