pFad - Phone/Frame/Anonymizer/Declutterfier! Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

URL: http://github.com/cedille

ylesheet" href="https://github.githubassets.com/assets/primer-71a44d5be3f782c5.css" /> Cedille Programming Language · GitHub
Skip to content
@cedille

Cedille Programming Language

Popular repositories Loading

  1. cedille cedille Public

    Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

    Agda 390 27

  2. ial ial Public

    The Iowa Agda Library

    Agda 53 20

  3. cedille-developments cedille-developments Public

    A showcase of interesting code and proof developments in Cedille

    Haskell 36 4

  4. cedille2 cedille2 Public

    Rust 17 1

  5. cedille-cast cedille-cast Public

    Source files used for the Cedille Cast videos

    13 2

  6. icfp18-tutorial icfp18-tutorial Public

    Materials related to the tutorial on Cedille at ICFP '18

    TeX 5

Repositories

Showing 10 of 10 repositories

Top languages

Loading…

Most used topics

Loading…
pFad - Phonifier reborn

Pfad - The Proxy pFad © 2024 Your Company Name. All rights reserved.




Check this box to remove all script contents from the fetched content.



Check this box to remove all images from the fetched content.


Check this box to remove all CSS styles from the fetched content.


Check this box to keep images inefficiently compressed and original size.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy