Just to let you know

[Jan Malakhovski]

Hi.

I think I'm going to be too ill to attend seminar tomorrow. But it
doesn't necessarily mean it's cancelled (only if you wish).
For the emergency seminar plan, canceled or not, I strongly suggest to
check this alternative standard library for Agda:
https://bitbucket.org/robsimmons/agda-lib/src
It doesn't compile with 2.3.0* but it will if you reuse "Level" module
from the conventional stdlib and fix some obvious naming issues.

BR,
Jan

[Luckyanets Eugene]

Sooooo… Are we meeting tomorrow? Any suggestions?

среда, 2 мая 2012 г., 23:53:47 UTC+4 пользователь Jan Malakhovski написал:

[Alexey Sergushichev]

I believe it'd be good to have a meeting. But have anyone anything to share?

---
Best regards,
Alexey Sergushichev

> --
> You received this message because you are subscribed to the Google Groups
> "Type Theory for Vegetables" group.
> To view this discussion on the web visit
> https://groups.google.com/d/msg/type-theory-for-vegetables/-/HD4rCwfYKugJ.
>
> To post to this group, send email to
> type-theory-f...@googlegroups.com.
> To unsubscribe from this group, send email to
> type-theory-for-veg...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/type-theory-for-vegetables?hl=en.