search

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.
Other
19 stars 5 forks source link

Sym0, Sym1, ... #70

Closed gmalecha closed 9 years ago

gmalecha commented 9 years ago

There used to be classes such as Sym0 (Func0) that do essentially the same thing as Typ0. These should be added back to the code.

gmalecha commented 9 years ago

This is partially implemented in Views/FuncView. There should probably be a lighter-weight way to use it though.