Agatha

Uma linguagem para Logica de primeira ordem

Build status: ok passing tests missing license metadata

Documentation README Download
Authors
Documentation
Tags
License
    Last updatedSunday, April 12th, 2020 10:05:19pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/joseildofilho/Agatha-Lang.gitde9e340b97dbb22677dc3ba74d6ec8826bf9af90
    Last checkedTuesday, February 7th, 2023 12:23:05pm (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