Sign in Sign up
npm

@cicada-lang/mugda.sexp

An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.

npm View on Npm

Activity

Latest release
3y ago
Total releases
13
Cadence
~daily
Last 12 months
0

Details

License
unknown
First release
Oct 19, 2022
Releases
Version Released
0.1.13 patch
0.1.12 patch
0.1.11 patch
0.1.10 patch
0.1.9 patch
0.1.8 patch
0.1.7 patch
0.1.6 patch
0.1.5 patch
0.1.4 patch
0.1.3 patch
0.1.2 patch
0.1.1 initial