Andres Löh

https://kosmikus.org [email protected]

Well-Typed LLP Regensburg

Results 4 repositories owned by


                                            Andres Löh

lhs2tex

97

Stars

31

Forks

Watchers

Preprocessor for typesetting Haskell sources with LaTeX

multirec

19

Stars

4

Forks

Watchers

records-sop

17

Stars

6

Forks

Watchers

Experimental implementation of generic record subtyping

SSGEP

87

Stars

3

Forks

Watchers