Feature #36
Implement a type checker for FlatCurry
| Status: | New | Start date: | 02/17/2012 | |
|---|---|---|---|---|
| Priority: | Normal | Due date: | ||
| Assignee: | - | % Done: | 0% | |
| Category: | - | |||
| Target version: | - |
Description
Implement/reactivate a type inference module for FlatCurry. See Curry.ExtendedFlat.TypeInference!
History
#1
Updated by Björn Peemöller 10 months ago
This will be done by Jonas Oberschweiber in the context of his bachelor's thesis.
#2
Updated by Björn Peemöller 10 months ago
- Subject changed from TypeChecker to Implement a type checker for FlatCurry