ATS for MCU programming

Google Group
1

Kiwamu Okabe:

Today, I talked about ATS {dependent,linear} type using casual figures.
The slide is found at following.

http://metasepi.org/en/posts/2014-08-02-osc2014-kyoto.html

2

Slide no. 12 is really funny :)On Saturday, August 2, 2014 11:13:33 AM UTC-4, gmhwxi wrote:

Kiwamu Okabe:

Today, I talked about ATS {dependent,linear} type using casual figures.
The slide is found at following.

Metasepi team meeting - Metasepi

3

… and accurate as well.On Saturday, August 2, 2014 12:59:16 PM UTC-4, gmhwxi wrote:

Slide no. 12 is really funny :slight_smile:

On Saturday, August 2, 2014 11:13:33 AM UTC-4, gmhwxi wrote:

Kiwamu Okabe:

Today, I talked about ATS {dependent,linear} type using casual figures.
The slide is found at following.

Metasepi team meeting - Metasepi