idris-lua

★ 10 Open GitHub ↗

A Lua backend for Idris

Explore Similar Repositories

legacy-awesome-title : 릴리즈의, 릴리즈에 의한, 릴리즈를 위한 별명/업적 관리 사비스
bashtv : Hackathon Project — Watch public television in your terminal. No browser needed.
docker-oracle-12c-R1 : Oracle 12c Release 1 with web console and startup initdb
docs-pcf-dev : No description available.
Logging.Memory : Logging.Memory allows write log to memory
// repository documentation