tdd-idris

arpanetus

Solutions to "Type-Driven Development with Idris"

books

View on GitHub

1 Stars

1 Forks

1 Watchers

Idris Language

Cost to Build

$1.7K

Market Value

$549

How is this calculated?

Growth over time

4 data points · 2021-11-21 → 2022-11-02

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about tdd-idris

Question copied to clipboard

What is the arpanetus/tdd-idris GitHub project? Description: "Solutions to "Type-Driven Development with Idris"". Written in Idris. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone tdd-idris

Clone via HTTPS

git clone https://github.com/arpanetus/tdd-idris.git

Clone via SSH

[email protected]:arpanetus/tdd-idris.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the tdd-idris issue tracker:

Open GitHub Issues

Similar to tdd-idris

free-programming-books-zh_CN free-programming-books books CS-Books awesome-resources Mind-Expanding-Books influential-cs-books Game-Programmer-Study-Notes GoBooks github awesome-compilers reading-material awesome-kubernetes awesome-iOS-resource Best-websites-a-programmer-should-visit DockerCheatSheet full-speed-python awesome-scifi kubernetes-handbook E-Books book-notes Booktype ElixirBooks bookdash-android-app FileMasta openlibrary awesome-visual-slam books-pdf goodbooks-10k kindle-highlights