formica

"Functionally oriented" educational language

Build status: failed missing license metadata

Authors

samsergeyλb401c27

Documentation

Tags

License

Last updated

Wednesday, September 11th, 2024 2:35:56pm (UTC)

Ring

Conflicts

None

Dependencies

None

Most recent build results

Compiled unsuccessfully: transcript

Version Exceptions

Version	Source	Checksum
default	git://github.com/samsergey/formica	b4410b4b6da63ecb15b4c25080951a7ba4d90d2c

Last checked

Tuesday, October 28th, 2025 11:41:08am (UTC)

Last edited

Wednesday, December 21st, 2016 2:21:57am (UTC)

Date added

N/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