malk-core 0.1.1

Partial implementation of dependent types
Documentation
  • Coverage
  • 45.26%
    43 out of 95 items documented0 out of 8 items with examples
  • Size
  • Source code size: 30.73 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 2.79 MB This is the summed size of all files generated by rustdoc for all configured targets
  • Links
  • Homepage
  • canndrew/malk-core
    0 0 0
  • crates.io
  • Dependencies
    • —
  • Versions
  • Owners
  • canndrew

malk-core

A simple (and very incomplete) type theory implementation for a dependently typed programming language.