IDRIS.md

Idris

Type 1

- function

Much Like 1

Scheme

Platform 2

- cli
- web

Todo 15

- Atkins sieve example
- Basic auth example
- Cors example
- Mysql example
- Opengl example
- Oracle example
- Pascal triangle example
- Postgres example
- Selenium example
- Server side event example
- Sieve of eroth example
- Sieve seg example
- Sqlserver example
- Ssl example
- Websocket example

Build 1

Chez

Framework 0

None

Database 0

None

Credit 2

- [Binary](https://github.com/idris-lang/Idris2.git)
- [Docs](https://www.idris-lang.org/index.html)