]> Git — Sourcephile - comptalang.git/history - calculus/.gitignore
stack: bump to lts-12.25
[comptalang.git] / calculus / .gitignore
2016-08-27 Julien MoutinhoDéplace hcompta-calculus vers lol-calculus et lol-typing
2016-04-12 Julien MoutinhoAjout : Calculus.Lambda.Omega.Explicit.