Awesome Open Source

Programming Languages

Search results for lambda functions agda

lambda-functions x

0 search results found

Cedille ⭐ 305

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

Gentle Intro To Reflection ⭐ 62

A slow-paced introduction to reflection in Agda. ---Tactics!

Abstract Binding Trees ⭐ 61

Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

Agda Summer School ⭐ 57

Summer school on programming in Agda

A TACtic library for Agda

System F Agda ⭐ 44

A formalization of the polymorphic lambda calculus extended with iso-recursive types

(λ) Category theory and lambda calculus, Bachelor's thesis

Relative Monads ⭐ 22

Relative Monad Library for Agda

Agda Nbe ⭐ 21

Formalizing nbe in agda

Dependently typed Algorithm M and friends

B522 Pl Foundations ⭐ 20

Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University

Tt In Cagda ⭐ 17

Simply typed lambda calculus in cubical agda

Beauty And The Beast ⭐ 5

A toy supercompiler for STLC with numbers and lists

1-0 of 0 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.