Barry-Jay/bondi Barry-Jay/bondi

  • Stars
    star
    38
  • Rank 706,870 (Top 14 %)
  • Language
    OCaml
  • License
    MIT License
  • Created about 8 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Barry-Jay/bondi
github

Barry-Jay

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

source code for the bondi programming language

More Repositories

1

Intensional-computation

translations of a lambda abstraction to combinations of operators
Coq
16
star
2

SF

Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus
Coq
11
star
3

Tree-calculus

proofs associated with tree calculus
Coq
5
star
4

lambdaSF

implementation of lambda-SF-calculus plus some basic theorems
Coq
3
star