Λrrow - The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
-
Updated
Jan 24, 2025 - Kotlin
Λrrow - The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
Simple CoC-based programming language
An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science)
An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
Source code for TAPL
Interactive theorem proving in ELPI
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Add a description, image, and links to the typed-lambda-calculus topic page so that developers can more easily learn about it.
To associate your repository with the typed-lambda-calculus topic, visit your repo's landing page and select "manage topics."