prune-lang 0.2.3

Prune is a constraint logic programming language with branching heuristic.
Documentation
1
2
3
4
5
6
7
8
9
10
use crate::syntax::ast::*;
use crate::syntax::lexer::Span;
use crate::utils::ident::Ident;
use crate::utils::lit::LitType;
use crate::utils::term::*;

use std::collections::HashMap;

pub mod check;
pub mod rename;