idris-hackers/idris-demos

Collection of Idris tests and demonstration programs

Idris

195

44 commits

updated Apr 23, 2018

See the code

README

Idris demos

Collection of Idris tests and demonstration programs

Contributors

edwinb

44 commits

Similar repos

idris-hackers/idris-koans

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to…

181

same org

edwinb/TypeDD-Samples

Sample code from "Type Driven Development with Idris"

162

nponeccop/haskell-exercises

Wenqing-Liu-1010/test

edwinb/SDL-idris

SDL bindings package for idris

Pluies/SICP

Answers to the SICP (... to a point)

D-Yurtaev/test-generation

realworldocaml/examples

All the examples in Real World OCaml

383

Languages

Idris

100.0%

idris-hackers/idris-demos

Collection of Idris tests and demonstration programs

Idris

195

44 commits

updated Apr 23, 2018

See the code

README

Idris demos

Collection of Idris tests and demonstration programs

Similar repos

idris-hackers/idris-koans

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to…

181

same org

edwinb/TypeDD-Samples

Sample code from "Type Driven Development with Idris"

162

nponeccop/haskell-exercises

Wenqing-Liu-1010/test

edwinb/SDL-idris

SDL bindings package for idris

Pluies/SICP

Answers to the SICP (... to a point)

D-Yurtaev/test-generation

realworldocaml/examples

All the examples in Real World OCaml

383

Contributors

edwinb

44 commits

Languages

Idris

100.0%