Category:Agda2

From Rosetta Code

Jump to: navigation, search

Programming Language
Agda2 is a programming language. It may be used to instruct computers to accomplish a variety of tasks which may or may not be domain-specific.

Listed below are all of the tasks on Rosetta Code which have been solved using Agda2.

See also: Agda2 on the HOPL


Implementation
This is an implementation of Agda2.

You may find other implementations of this language at Category:Agda2 Implementations.

This page is a stub. It needs more information! You can help Rosetta Code by filling it in!

Articles in category "Agda2"

There is one article in this category.

E

Retrieved from "http://rosettacode.org/wiki/Category:Agda2"
Personal tools