index
:
opentheory-transform
master
Opentheory proof trace optimizer
Jed Barber
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Semantic.hs
Age
Commit message (
Collapse
)
Author
2012-06-04
Cleaned up how the state of the virtual machine is handled
Jed Barber
2012-05-29
All potential errors now caught into Nothings
Jed Barber
2012-05-22
Split the Object wrapping from the actual computation in the article commands
Jed Barber
2012-05-15
Added guards for command functions
Jed Barber
2012-05-14
Moved a number of article format parsing functions to a separate file
Jed Barber
2012-05-14
Added the removal of escape character backslashes from name processing
Jed Barber
2012-05-11
Incorporated use of Data.Set and Data.Map
Jed Barber
2012-05-11
Moved datatype declarations and associated functions to separate files
Jed Barber
2012-05-10
Fixed datatype used for substitutions
Jed Barber
2012-05-10
Improved display of types and type operators
Jed Barber
2012-05-10
Improved display of = terms
Jed Barber
2012-05-10
typeOf definition fixed
Jed Barber
2012-05-08
Names processed properly
Jed Barber
2012-05-08
Alpha equivalence function fixed to account for lambda depth
Jed Barber
2012-05-08
Informative output for Stack, Dictionary, Assumptions, Theorems
Jed Barber
2012-05-07
Initial source
Jed Barber