Skip to content

GitLab

Explore

Sign in

B

Bachelor thesis Programming

Project information

Programming Parts of the Bachelor thesis. Specifically an untyped probabilistic call-by-need lambda calculus in Haskell.

33 Commits
1 Branch
0 Tags

README
GNU GPLv3

Created on

August 03, 2021

Copy SSH clone URLgit@gitlab2.cip.ifi.lmu.de:maio/BA-Prog.git
Copy HTTPS clone URLhttps://gitlab2.cip.ifi.lmu.de/maio/BA-Prog.git

Loading