1
I Use This!
Inactive
Analyzed 2 days ago. based on code collected 2 days ago.

Project Summary

:let syntax [a] "→" [b] = a -> b :let syntax λ {x} . [body] = \ x => body

Tags

No tags have been added

Badges

In a Nutshell, idris-unicode...

Quick Reference

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    you can embed statistics from Open Hub on your site
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    check out hot projects on the Open Hub

30 Day Summary

Sep 25 2021 — Oct 25 2021

12 Month Summary

Oct 25 2020 — Oct 25 2021

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!