miniagda
miniagda copied to clipboard
andreasabel
A prototypical dependently typed languages with sized types and variances
Results
2
miniagda issues
Sort by
recently updated
recently updated
newest added
```haskell -- 2014-01-09 -- Treating a type as both inductive and coinductive bears trouble… data R -(i : Size) { delay (force : [j < i] -> R j) }...
Blocked on: - aeson https://github.com/haskell/aeson/issues/1155
Metadata
91
Stars
2
Forks
Watchers
Owner
Metadata
A prototypical dependently typed languages with sized types and variances