Explore projects
-
Updated
-
Updated
-
-
-
A tool to add missing type signatures to top-level operations in a Curry module
Updated -
-
Backup repository for the "Advanced Programming" course.
Updated -
Libraries with operations to strongly encapsulate non-deterministic computations
Updated -
-
-
-
Bachelor- und Masterprojekt im Sommersemester 2018: Paketverwaltungsystem für Curry
Updated -
Updated
-
Updated
-
-
-
-
Updated
-
A pretty printer for boxes, adapted from the Haskell library boxes by Brent Yorgey
Updated -