Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
utilities
/
monad.ma
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@2453
7 years
tranquil
come changes in monad notation to * avoid pretty printed monsters * …
(edit)
@2179
8 years
campbell
Dependent pair monad binding notation.
(edit)
@1976
8 years
tranquil
* monads: just changed some defs, which had to be propagated in some …
(edit)
@1949
8 years
tranquil
* lemma trace rel to eq flatten trace * some more properties of …
(edit)
@1882
8 years
tranquil
big update, alas incomplete: joint changed a bit, and all BE languages …
(edit)
@1648
8 years
mulligan
new version of utilities/monad.ma with typecheck command comented out
(edit)
@1647
8 years
tranquil
* corrected some notation problems * adapted Cligth with slight …
(edit)
@1640
8 years
tranquil
* finished fork of semantics.ma * unification of Errors under the …
(add)
@1635
8 years
tranquil
* lists with binders and monads * Joint.ma and other temprarily …
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog