search

joshuanianji / idris-2-docker

Multi-arch, multi-distro Docker images for Idris 2
MIT License
13 stars 2 forks source link

Install Idris API #64

Closed joshuanianji closed 12 months ago

joshuanianji commented 12 months ago

See: #63