1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
#![recursion_limit="512"] #![doc(html_logo_url = "http://adapton.org/fungi-lang-logo/Fungi-lang-logo.png", html_root_url = "https://docs.rs/fungi-lang/")] #[macro_use] extern crate adapton; // // Source language (IODyn) // // ------------------------ // #[macro_use] pub mod ast; // pub mod bitype; // pub mod prims; // pub mod eval; // Target language (Typed Adapton) // -------------------------------- pub mod ast; #[doc(hidden)] #[macro_use] pub mod parse; pub mod normal; pub mod subst; pub mod bitype; pub mod decide; pub mod eval; #[macro_use] pub mod vis; #[doc(hidden)] pub mod stdlib; pub mod examples; // Translation // ------------------ // pub mod translate;