Changeset 28 for sizechecking/branches/macs/Tests
- Timestamp:
- May 14, 2014, 10:44:07 PM (11 years ago)
- Location:
- sizechecking/branches/macs/Tests
- Files:
-
- 1 added
- 1 moved
-
ProofTest.hs (added)
-
SizedFunTest.hs (moved) (moved from sizechecking/branches/macs/Tests/BindTest.hs) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
sizechecking/branches/macs/Tests/SizedFunTest.hs
r27 r28 1 1 {-# LANGUAGE NoMonomorphismRestriction #-} 2 2 3 module Tests. BindTest where3 module Tests.SizedFunTest where 4 4 5 5 import Lambda
Note: See TracChangeset
for help on using the changeset viewer.
![(please configure the [header_logo] section in trac.ini)](/trac/tamop/chrome/site/your_project_logo.png)