idris-malfunction

Experimental Malfunction backend for Idris

81 stars

15 watching

6 forks

Language: Haskell

last commit: over 6 years ago

Linked from 1 awesome list

Backlinks from these awesome lists:

joaomilho/awesome-idris