Packages tagged interpreter

1 package has this tag.

[Merge tag] (trustees only)

Related tags: gpl (1), language (1), program (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
caledon242.25a logic programming language based on the calculus of constructions (gpl, interpreter, language, program)2016-07-06MatthewMirman