types
Topic | Replies | Views | Activity | |
---|---|---|---|---|
ATD - static types for json APIs, v1.13.0 | new documentation home |
![]() ![]() ![]() ![]() |
9 | 1807 | June 2, 2018 |
Is there any OCaml(not ML or StandardML) - inspired languages with dependent types and algebraic affects? |
![]() ![]() ![]() ![]() ![]() |
5 | 2222 | November 20, 2017 |