Changeset 1635 for src/joint

Timestamp:
Jan 7, 2012, 12:33:17 AM (9 years ago)
Author:
tranquil
Message:
  • lists with binders and monads
  • Joint.ma and other temprarily forked, awaiting feedback from Claudio
  • translation of RTLabs → RTL refactored with new tools
Location:
src/joint
Files:
2 added

Note: See TracChangeset for help on using the changeset viewer.