]> Git — Sourcephile - comptalang.git/commit
sourcephile / git / comptalang.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c9ce77) | patch
Déplace hcompta-calculus vers lol-calculus et lol-typing
authorJulien Moutinho <julm+hcompta@autogeree.net>
Fri, 27 May 2016 02:21:06 +0000 (04:21 +0200)
committerJulien Moutinho <julm+hcompta@autogeree.net>
Sat, 27 Aug 2016 00:18:18 +0000 (02:18 +0200)
commit79f6a1d8eb5aa3c1c426a2c6df19e9505b4836c3
tree762a32739f7771bab5e7b9a238ba8475e4cce685tree | snapshot
parent9c9ce775d2df9db19365d1e676e8fad9fae55a8ecommit | diff
Déplace hcompta-calculus vers lol-calculus et lol-typing
29 files changed:
calculus/.gitignore [deleted file] blob | history
calculus/COPYING [deleted file] blob | history
calculus/Calculus/Abstraction/DeBruijn/Generalized.hs [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit.hs [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/REPL-with-stacktrace.sh [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/REPL.hs [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/REPL.sh [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/Read.hs [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/lib.cloe [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/lib/Bool.cloe [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/lib/Either.cloe [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/lib/Eq.cloe [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/lib/Function.cloe [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/lib/Functor.cloe [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/lib/IO.cloe [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/lib/List.cloe [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/lib/Maybe.cloe [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/lib/Monad.cloe [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/lib/Monoid.cloe [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/lib/Nat.cloe [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/lib/Ord.cloe [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Explicit/lib/Pair.cloe [deleted file] blob | history
calculus/Calculus/Lambda/Omega/Implicit.hs [deleted file] blob | history
calculus/Control/Monad/Classes/EffectsFix.hs [deleted file] blob | history
calculus/Control/Monad/Classes/Instance.hs [deleted file] blob | history
calculus/Control/Monad/Classes/StateFix.hs [deleted file] blob | history
calculus/Control/Monad/Classes/StateInstance.hs [deleted file] blob | history
calculus/cabal.config [deleted file] blob | history
calculus/hcompta-calculus.cabal [deleted file] blob | history
A language for accounting