mmcqd/pure mmcqd/pure

  • Stars
    star
    78
  • Rank 412,246 (Top 9 %)
  • Language
    OCaml
  • Created over 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mmcqd/pure
github

mmcqd

Reviews

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

Repository Details

A pure type system implemented in OCaml

More Repositories

1

datatt

A dependent type theory with user defined data types
OCaml
46
star
2

higher-standard

Higher kinded polymorphism in SML
Standard ML
16
star
3

fibertt

Record patches are cool
OCaml
5
star
4

boringtt

A boring type theory
OCaml
4
star
5

menby

modular nbe!
OCaml
3
star
6

15-150-Bad-Style-Contest-S20

Church encodings, but it's worse than you think
Standard ML
1
star
7

hi-res-google-takeout-geojson

Python
1
star