search

gdmcbain / musim

https://hub.docker.com/u/gdmcbain
0 stars 0 forks source link

Idris 2 #18

Open gdmcbain opened 11 months ago

gdmcbain commented 11 months ago

Idris

a language for type-driven development

or rather Idris 2

A purely functional programming language with first class types

gdmcbain commented 11 months ago

snazzybucket/idris2

Nightly docker builds of idris2, the functional programming language with first class types