Mar. 7th, 2017

bamalip: (Default)
у Агды завелась прелюдия https://github.com/agda/agda/tree/v2.5.2/src/data/lib/prim/Agda/Builtin
и даже документация к ней http://agda.readthedocs.io/en/latest/language/built-ins.html

наконец-то! а то "стандартная" библиотека к ней была (и остается) в довольно опциональном статусе. теперь же есть обязательная часть.

Profile

bamalip: (Default)
шерстяной ленин

July 2017

S M T W T F S
       1
2 3 4 56 7 8
9 1011 12 13 14 15
161718 19 2021 22
23 2425 26 27 2829
3031     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 29th, 2017 11:52 am
Powered by Dreamwidth Studios