Agate-an agda-to-Haskell compiler
By: Hiroyuki Ozaki, Makoto Takeyama, Yoshiki Konoshita.
Contributors: Takeyama, Makoto..; Kinoshita, Yoshiki.; Sangyō Gijutsu Sōgō Kenkyūjo. Shisutemu Kenshō Kenkyū Sentā
Series: Sanpu kagaku kenkyū sokuhō = Programming science technical report -- AIST-PS-2006-011
Publisher: Sangyō Gijutsu Sōgō Kenkyūjo Shisutemu Kenshō Kenkyū Sentā.
Published: 2006
Place of publication: [Toyonaka-shi]
Language: eng
Number of pages: 16