Idris -

If you are looking to operate or capture the massive Frigate in :

: The official Idris Documentation provides a comprehensive tutorial covering types, functions, and theorem proving. 3. Vainglory (Game Hero) If you are looking to operate or capture

: It is designed for Type-Driven Development , where types are used to specify the behavior of programs more precisely than in most other languages. If you are looking to operate or capture