A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://github.com/agda/agda/issues/1618 below:

Badly aligned let type declarations

In the LaTeX backend, the let binding coming after a let type declaration is 
not aligned properly.

Cf. the attached lagda, Makefile and sample output.

Original issue reported on code.google.com by g.x.all...@gmail.com on 30 Jul 2015 at 1:48


RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4