reflectionalist/Hypercube reflectionalist/Hypercube

  • Stars
    star
    2
  • Language
    Haskell
  • Created over 11 years ago
  • Updated over 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
reflectionalist/Hypercube
github

reflectionalist

Reviews

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

Repository Details

A Haskell implementation of cumulative Universal Type Theory with a single binder

More Repositories

1

S9fES

Scheme 9 from Empty Space
Scheme
16
star
2

DS-PhPL

Discussion Seminar: Philosophy of Programming Lanugages
JavaScript
13
star
3

SExp

A library for parsing and serializing s-expressions
Haskell
2
star
4

LC

Lambda Calculators
Haskell
2
star
5

Twelve

Twelf playground
1
star
6

CL

Experimentation with Combinatory Logic
Haskell
1
star