Skip to main content

Introduction
Getting Started
Training
Authoring
Curation
Community
Languages
- Agda
- BF
- C
- CFML
- Clojure
- COBOL
- CoffeeScript
- CommonLisp
- Coq
- C++
- Crystal
- C#
- D
- Dart
- Elixir
- Elm
- Erlang
- Factor
- Forth
- Fortran
- F#
- Go
- Groovy
- Haskell
- Haxe
- Idris
  - Specdris
- Java
- JavaScript
- Julia
- Kotlin
- Lambda Calculus
- Lean
- Lua
- NASM
- Nim
- Objective-C
- OCaml
- Pascal
- Perl
- PHP
- PowerShell
- Prolog
- PureScript
- Python
- R
- Racket
- Raku
- Reason
- RISC-V
- Ruby
- Rust
- Scala
- Shell
- Solidity
- SQL
- Swift
- TypeScript
- VB.NET
Gamification
Concepts
References
Meta

Languages
Idris
Specdris

Specdris

Tags:

idris
reference
testing

Copyright © 2025 Codewars