#

cedille

Here are 2 public repositories matching this topic...

WhatisRT / meta-cedille

Minimalistic dependent type theory with syntactic metaprogramming

dependent-types lambda-calculus metaprogramming cedille

Updated Jun 18, 2024
Agda

yurrriq / cedille-playground

📓 Maybe someday useful and organized notes about Cedille.

dependent-types lambda-calculus learning-by-doing dependent-intersecions cedille

Updated Mar 14, 2019

Improve this page

Add a description, image, and links to the cedille topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cedille topic, visit your repo's landing page and select "manage topics."