Programming languages without if

An introduction to dependent types, demonstrating the most beautiful aspects, one programming languages without if at a time. A program’s type describes its behavior.

Did not find what they wanted? Try here

admin