Idris

: In current versions (like Alpha 4.1), players often attempt to board the Idris by disabling its engines or using specific missions like "Elite OP" from the Head Hunters.

If you are looking to learn the functional programming language with dependent types: : In current versions (like Alpha 4

If you are looking to operate or capture the massive Frigate in : : In current versions (like Alpha 4

: Video tutorials on YouTube cover solo boarding and bridge takeover. 2. Idris Programming Language : In current versions (like Alpha 4

: You can install it via the Haskell platform ( cabal install idris ).

: It features a Size 10 railgun on the Idris-M variant and massive shields, requiring a coordinated fleet to take down.