malk-core-0.1.0
Platform
Feature flags

Rust

malk-core 0.1.0

A simple unicode lexer

Crate
Source
Builds
Feature flags

Links
Homepage
canndrew/malk-core
0 0 0
Crates.io
Dependencies
Versions
- 0.1.1
- 0.1.0
Owners

malk-core

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