@cicada-lang/cicada-instars

partech: Parsing Techniques, DSL for CFG, General CFG parsers. - lang0: Untyped lambda calculus. - lang1: Simply typed lambda calculus, Natural number, Primitve recursive combinator. - lang2: The Little Typer, Type in Type, Recursion is not an option. - lang3: Dependent type, Nominal algebraic datatype, Structural record type, Type in Type, Arbitrary recursion. - lang4: Simply typed jojo, Sequent calculus. - lang5: Untyped jojo, A theory of equivalence for untyped jojo (by placeholder value & application trace).

Usage no npm install needed!

<script type="module">
  import cicadaLangCicadaInstars from 'https://cdn.skypack.dev/@cicada-lang/cicada-instars';
</script>

README

Cicada Instars

Contents

  • partech: Parsing Techniques, DSL for CFG, General CFG parsers.
  • lang0: Untyped lambda calculus.
  • lang1: Simply typed lambda calculus, Natural number, Primitve recursive combinator.
  • lang2: The Little Typer, Type in Type, Recursion is not an option.
  • lang3: Dependent type, Nominal algebraic datatype, Structural record type, Type in Type, Arbitrary recursion.
  • lang4: Simply typed jojo, Sequent calculus.
  • lang5: Untyped jojo, A theory of equivalence for untyped jojo (by placeholder value & application trace).

References

Community

Contributions are welcome, see current TODO list for tasks.
(Please add yourself to the AUTHORS list if you made any contributions.)

License