formica

"Functionally oriented" educational language

Build status: failed missing license metadata

Authors
Documentation
Tags
License
Last updatedWednesday, September 11th, 2024 2:35:56pm (UTC)
Ring1
ConflictsNone
DependenciesNone
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/samsergey/formicab4410b4b6da63ecb15b4c25080951a7ba4d90d2c
Last checkedSunday, October 13th, 2024 12:45:53pm (UTC)
Last editedWednesday, December 21st, 2016 2:21:57am (UTC)
Date addedN/A
Modules
  • formica/rewrite.rkt
  • formica/memoize.rkt
  • formica/tests/tacit-tests.rkt
  • formica/doc/rus/memoize.scrbl
  • formica/regular-app/main.rkt
  • formica/doc/eng/monads-List.scrbl
  • formica/tests/automatic-nest-tests.rkt
  • formica/examples/amb.rkt
  • formica/examples/infix.rkt
  • formica/private/monad/sequential-monads.rkt
  • formica/doc/rus/control.scrbl
  • formica/tests/monad-tests.rkt
  • formica/examples/turing-book.rkt
  • formica/doc/eng/intro.scrbl
  • formica/doc/eng/monads.scrbl
  • formica/tests/functionals-tests.rkt
  • formica/tests/memoize-tests.rkt
  • formica/monad.rkt
  • formica/doc/rus/intro.scrbl
  • formica/doc/eng/partial.scrbl
  • formica/private/tools/arity.rkt
  • formica/tests/nest-tests-generator.rkt
  • formica/tests/hold-tests.rkt
  • formica/private/tools/patterns.rkt
  • formica/doc/eng/tacit.scrbl
  • formica/tests/patterns-tests.rkt
  • formica/doc/eng/functionals.scrbl
  • formica/tests/tag-tests.rkt
  • formica/doc/rus/contracts.scrbl
  • formica/testing.rkt
  • formica/tests/formal-tests.rkt
  • formica/main.rkt
  • formica/types.rkt
  • formica/lang/reader.rkt
  • formica/private/monad/base.rkt
  • formica/tests/regular-app-formal-tests.rkt
  • formica/doc/eng/arity.scrbl
  • formica/doc/rus/formica.scrbl
  • formica/doc/rus/tags.scrbl
  • formica/doc/eng/testing.scrbl
  • formica/private/formal/hold.rkt
  • formica/doc/eng/types-primitive.scrbl
  • formica/doc/rus/computation.scrbl
  • formica/doc/rus/pairs.scrbl
  • formica/formal.rkt
  • formica/tools.rkt
  • formica/examples/automata.rkt
  • formica/tests/all-tests.rkt
  • formica/regular-app/lang/reader.rkt
  • formica/examples/turing.rkt
  • formica/private/types/infix-arrow.rkt
  • formica/doc/rus/numeric.scrbl
  • formica/tests/arity-tests.rkt
  • formica/doc/eng/memoize.scrbl
  • formica/doc/eng/rewrite.scrbl
  • formica/private/rewrite/rewrite.rkt
  • formica/doc/eng/utils.scrbl
  • formica/doc/eng/types-signatures.scrbl
  • formica/doc/rus/functions.scrbl
  • formica/doc/eng/types.scrbl
  • formica/private/tools/curry.rkt
  • formica/doc/rus/grammar.scrbl
  • formica/doc/rus/bindings.scrbl
  • formica/doc/rus/equivalence.scrbl
  • formica/plt/info-eng.rkt
  • formica/tests/monad-inferrence-tests.rkt
  • formica/private/formal/formal.rkt
  • formica/examples/streams.rkt
  • formica/doc/rus/monads-base.scrbl
  • formica/doc/rus/testing.scrbl
  • formica/partial-app.rkt
  • formica/doc/eng/differences.scrbl
  • formica/private/tools/tags.rkt
  • formica/doc/eng/formica.scrbl
  • formica/private/types/ordering.rkt
  • formica/tests/nest-tests.rkt
  • formica/tests/formal-out-test.rkt
  • formica/tests/types-tests.rkt
  • formica/examples/logics.rkt
  • formica/tests/rewrite-tests.rkt
  • formica/examples/peano.rkt
  • formica/private/syntax/partial-app.rkt
  • formica/private/regular-app/formal.rkt
  • formica/regular-app/formal.rkt
  • formica/doc/rus/io.scrbl
  • formica/tests/ordering-tests.rkt
  • formica/private/tools/nest.rkt
  • formica/private/regular-app/lang/reader.rkt
  • formica/private/monad/inferrence.rkt
  • formica/doc/eng/tags.scrbl
  • formica/tests/formal-in-tests.rkt
  • formica/doc/rus/formal.scrbl
  • formica/examples/circuit.rkt
  • formica/private/types/type-checking.rkt
  • formica/doc/eng/syntax.scrbl
  • formica/plt/info-rus.rkt
  • formica/private/types/types.rkt
  • formica/doc/rus/types.scrbl
  • formica/private/tools/tools.rkt
  • formica/examples/nondeterministic.rkt
  • formica/private/syntax/tacit.rkt
  • formica/doc/eng/monads-base.scrbl
  • formica/doc/eng/types-contracts.scrbl
  • formica/doc/eng/types-construction.scrbl
  • formica/doc/rus/rewrite.scrbl
  • formica/doc/rus/functionals.scrbl
  • formica/private/tools/functionals.rkt
  • formica/doc/eng/comparison.scrbl
  • formica/private/rewrite/rewrite-repeated.rkt
  • formica/tests/partial-app-tests.rkt
  • formica/tests/test-utils.rkt
  • formica/examples/Maybe.rkt
  • formica/doc/rus/monads.scrbl
  • formica/tests/testing-tests.rkt
  • formica/tests/monad-sequential-tests.rkt
  • formica/tests/tools-tests.rkt
  • formica/doc/rus/monads-List.scrbl
  • formica/tacit.rkt
  • formica/examples/rewrite.rkt
  • formica/doc/eng/formal.scrbl
  • formica/regular-app.rkt
  • formica/private/tools/memoize.rkt
  • formica/tests/curry-tests.rkt