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)
шерстяной ленин

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
1011 12 13 14 1516
1718 19 20212223
24252627282930

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 21st, 2017 05:39 pm
Powered by Dreamwidth Studios