Giters

fparadas / subsexpl

A framework for simulation of explicit substitutions calculi

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

subsexpl

A framework for simulation of explicit substitutions calculi

About

A framework for simulation of explicit substitutions calculi

Languages

Language:OCaml 98.6%Language:Makefile 1.4%