Agatha

Uma linguagem para Logica de primeira ordem

Build status: ok passing tests missing license metadata

Documentation README Download
Authors
Documentation
Tags
License
    Last updatedThursday, May 11th, 2023 1:43:44pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/joseildofilho/Agatha-Lang.gitde9e340b97dbb22677dc3ba74d6ec8826bf9af90
    Last checkedWednesday, July 2nd, 2025 7:04:25pm (UTC)
    Last editedTuesday, January 14th, 2020 7:36:17pm (UTC)
    Date addedFriday, December 27th, 2019 9:02:04pm (UTC)
    Modules
    • agatha/main.rkt
    • agatha/parser.rkt
    • agatha/agatha-test1.rkt
    • agatha/agatha-test4.rkt
    • agatha/parser-test.rkt
    • agatha/agatha-test3.rkt
    • agatha/symbolize.rkt
    • agatha/expander.rkt
    • agatha/agatha-test2.rkt
    • agatha/utils.rkt
    • agatha/scribblings/agatha.scrbl
    • agatha/boolean-evaluator.rkt
    • agatha/reader.rkt
    • agatha/parser-boolean-prefix.rkt
    • agatha/parser-boolean-parentesis.rkt
    • agatha/tokenizer.rkt