Agda
Paradigms
Typing
dependent system, non-structural typing, strong typing, full inference
Influenced By
File extensions
agda
External Links
| Type | programming |
| Created | 2007 |
| Developed by | Chalmers University of Technology |
| PyPL Index | N/A |
| TIOBE Index | N/A |
| GitHub rank | #165 |
Code Example
↓
Loading...