jfaure/Irie-lang jfaure/Irie-lang

  • Stars
    star
    50
  • Rank 561,062 (Top 12 %)
  • Language
    Haskell
  • License
    Other
  • Created almost 4 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jfaure/Irie-lang
github

jfaure

Reviews

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

Repository Details

Subtyping calculus of inductive constructions

More Repositories

1

lfvm-stg

Map lazy functional language constructs to LLVM IR
Haskell
50
star