prune-lang 0.2.2

Prune is a constraint logic programming language with branching heuristic.
Documentation 
1
2
3
4
5
6
7
8
9

// 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;