Idris for Visual Studio Code

Idris 2 IDE Protocol Integration for Kakoune

DEUS OMNIUM CREATOR SECUM DEUM FECIT VISIBILEM ET HUNC FECIT PRIMUM ET SOLUM QUO OBLECTATUS EST ET VALDE AMAVIT PROPRIUM FILIUM QUI APPELLATUR SANCTUM VERBUM

A makeshift package management system for idris

🗼An experimental implementation of first class functional types using pure ES at runtime, inspired by Haskell, PureScript and Idris.

Idris port of Vek Snek

I try develop web application by idris2;