Star AlbumentationsX on GitHub — it powers this leaderboard

← Back to leaderboard

soimort

Idris-dev

soimort/Idris-dev

A Dependently Typed Functional Programming Language

0stars

Homepage View on GitHub

Forks

0

Open issues

0

Watchers

0

Size

34.5 MB

HaskellOther

Created: Sep 12, 2014

Updated: Oct 7, 2017

Last push: Feb 19, 2018

Fork