Giovanni Luca Ciampaglia DEVELOPER PORTFOLIO Notabilia 2011

Source URL: www.glciampaglia.com

• Software
• Free software
• Application software
• Graph drawing software
• Darcs
• Cython
• Gephi
• Z shell
• Ultimatum
• XeTeX
• Apache

Darcs, concepts and internals Sebastian Fischer Darcs is a distributed version control system written in Haskell. It’s internal model is dual to the model of most other version control systems. Instead of tracking a tr

Source URL: www.bioinf.uni-leipzig.de

• Version control
• Darcs
• Distributed version control
• Merge
• Trac
• Institutional repository
• Haskell
• Comparison of version control software

A Haskell Roadshow By Joachim Breitner, for The Karlsruhe Functional Programmers Meetup Group, December 18, 2012. The following is a rough transcript of the code that I develop duing the talk. It does not contain all the

Source URL: darcs.nomeata.de

• Geometry
• Map
• Circle

A Haskell Roadshow Joachim Breitner The Karlsruhe Functional Programmers Meetup Group December 18, 2012 PROGRAMMING PARADIGMS GROUP

Source URL: darcs.nomeata.de

• Data
• Data management

PDF Document

Source URL: www.vmaa.com.au

• Aircraft
• Ion
• Fixed-wing aircraft
• Hitec
• Software
• System software
• Darcs

Some properties of darcs patch theory Ganesh Sittampalam et al. November 7, 2005 Abstract This is an attempt to derive some properties of darcs patch theory. We start by specifying the “axioms” that must be true of p

Source URL: urchin.earth.li

• Quantum mechanics
• Permutations
• Quantum field theory
• Mathematics
• Abstract algebra
• Combinatorics

Darcs Patch Theory (more or less) Ian Lynagh September 7, [removed]

Source URL: urchin.earth.li

• If and only if
• Logic
• Darcs
• Computer programming
• Field theory
• Software
• Binary operations
• Mathematics

darcs optimize enable-patch-index +RTS -xt -hy

Source URL: dl.dropboxusercontent.com

darcs optimize enable-patch-index +RTS -xt -hy

Source URL: dl.dropboxusercontent.com

Type-Correct Changes — A Safe Approach to Version Control Implementation Jason Dagit November 13, 2010 Contents

Source URL: www.cs.famaf.unc.edu.ar

• Computer programming
• Darcs
• Haskell
• Generalized algebraic data type
• Type system
• Yi
• Type class
• Glasgow Haskell Compiler
• Type inference
• Computing
• Software engineering
• Type theory