| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2020-07-14 | C backend: Don't output incomplete types. Fix detection in generic types | Samuel Lidén Borell | 1 | -0/+3 |
| 2015-02-04 | Verifier: Fix bugs with type parameters not being substituted | Samuel Lidén Borell | 1 | -6/+2 |
| 2014-07-29 | Verifier: Move type parameters into LRLTypeRef | Samuel Lidén Borell | 1 | -1/+16 |
| 2014-05-30 | Verifier: Type compatibility checking of type params | Samuel Lidén Borell | 1 | -0/+26 |
 |
index : lrl | |
| [not maintained] LRL Programming Language (predecessor of SLUL) | samuel@kodafritt.se |
| aboutsummaryrefslogtreecommitdiff |