aaronlifton3/LearnIdris aaronlifton3/LearnIdris

  • Stars
    star
    1
  • Language Idris
  • Created about 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aaronlifton3/LearnIdris
github

aaronlifton3

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

repo for learning the Idris programming language & dependent types

More Repositories

1

ActiveRecordRedisLock

Enable redis locking of active record queries
Ruby
1
star
2

clojure-meta-fns

Clojure Fns
Clojure
1
star
3

microgroups

meteor.js minimal groups app
1
star