Pinned Repositories
actions
A collection of useful GitHub Actions
bondi
source code for the bondi programming language
docker-templates
dockerfiles
Docker files for bondi
Intensional-computation
translations of a lambda abstraction to combinations of operators
lambdaSF
implementation of lambda-SF-calculus plus some basic theorems
website
bondi-lang's Repositories
bondi-lang/bondi
source code for the bondi programming language
bondi-lang/docker-templates
bondi-lang/Intensional-computation
translations of a lambda abstraction to combinations of operators
bondi-lang/actions
A collection of useful GitHub Actions
bondi-lang/dockerfiles
Docker files for bondi
bondi-lang/lambdaSF
implementation of lambda-SF-calculus plus some basic theorems
bondi-lang/website