| Age | Commit message (Collapse) | Author |
|
with GuSeq. The GuSeq/GuBuf API is simplified
|
|
|
|
|
|
trees and types. This includes dependent types, high-order abstract syntax and implicit arguments
|
|
|
|
|
|
|
|
declarations for generic programming from data.c are removed as well
|
|
your own risk.
|
|
their abstract counter parts
|
|
|
|
|
|
|